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