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

...
"}

----
Twins:

https://namu.wiki/w/명제%20논리

[[VG:명제논리,propositional_logic]]