필수 영단어
- propositional : 제의의, 명제의
- rigorous : 엄격한
- proposition : 명제
- formula, well-formed formula : 논리식
- premises : 전제
- conjecture : 추측하다
- straightforward : 간단한, 복잡하지 않은
- attain : 이루다, 획득하다
- illuminate : 조명하다
- number theory : 정수론
- behaviour : 처신
- manipulation : 조작
- problematic : 문제있는
- affair : 일, 문제
- predicate : 술부 (Heejung went home 에서 went home처럼 ?ㅋ) , predicate logic : 술어 논리학
- inference : 추론
- declarative sentence : 평서문
- specification : 설명서, 사양
- compositional : 구성의
- negation : 부정, 반대
- dually : 둘로, 이중으로
- denote : 조짐을 보여주다.
- convention : 관습
Wed/Aug/22 Logic in Computer Science
1. Propositional Logic ( 명제 논리학 )
논리합, 논리곱 합의, 등가 및 부정의 5가지 논리 기호를 사용하여 논리식을 구성하는 데 따라서 명제를 형식화하여 논리를 연구하는 분야. 즉, 명제의 내용에는 들어 있지 않고 명제와 명제와의 관계를 논하는 것을 명제 논리라고 한다. 따라서 명제 논리는 몇 가지 명제 변수 사이에 성립하는 일반적 논리 법칙이다. - 네이버 지식백과 -
한마디로 말하면 그냥 ∧∨￢⊥ 이런 기호를 써서 명제들을 형식화하는 것을 말하는 것같다.
Atomic sentence (원자 명제)
: type of declarative sentece 란다.. 더 이상 단순한 명제로 나뉘어 질 수 없는 참이나 거짓으로 나타낼 수 있는 명제를 말한다. 이런 원자 명제가 여러 개 있는 경우를 molecular sentence 즉 분자 명제라고 한다.
1.1 Declarative sentences (평서문)
이 과목에서는 non-declarative sentences 는 다루지 않는다 예를 들어 Would you come to my home?, Let's go!! 이딴 것들..
이제 우리가 해야할 것은 평서문들을 일정한 룰에 따라서 논리식으로 표현하는 것이다. 이 정도는 누구나 다 알 것 같지만 배운것들을 정리한다는 의미에서 다시 기록해보기로 한다.
￢ (negation) : 이름에서 느껴지듯 부정을 뜻한다. NOT
∧ (disjunction) : 괴리라는 의미가 있지만 논리식에서는 논리합을 뜻한다. OR
∨ (conjunction) : 접속사, 논리곱을 뜻한다. 행성공부할 때 배운 합도 이거란다. AND
-> (implication) : 함축, 함의. IF, THEN
Convention 1.3 (p.5)
￢ > ∨,∧ > ->
그리고 Implication은 right-associative 하다. 즉 Implication은 오른쪽부터 한다는 소린데 예를 들어 p->q->r 이면 p->(q->r)이 된다는 의미다.