{"1.
명제논리,propositional_logic 혹은
문장논리,sentential_logic는
명제,proposition 혹은
문장,sentence들 간의 논리적 관계를 다룬다. // logical
관계,relation?
명제논리는 결정가능(decidable)하다. //
decidable decidability 결정가능성
2.
명제논리에서
해석,interpretation이란 각
명제,proposition에
진리값,truth_value을
할당,assignment하는 것이다. // 할당 =
대입,assignment?
3.
명제논리에서
연결사,connective란 한 개 이상의 명제 기호에 덧붙여짐으로써 해당 명제(들)에 새로운 의미를 더한다.
꼭 복수의 명제들을 '연결'할 필요없이 하나의 명제에만 붙는 연결사도 있다 (ex. ~)
연결사를 포함하지 않은 명제 =
단순명제, {
단순명제 단순명제 }
단순명제와 하나 이상의
논리연결사,logical_connective로 구성되는 명제를
복합명제{
복합명제 복합명제 }라 한다.
...
"}