(wpen) propositional_expression, sentential_formula 와 동의어이며 sentence라고도 한다고. - [[문장,sentence]]과의 관계 확실히.

[[명제proposition]] //later [[명제,proposition]]
[[포뮬러,formula]]

MKLINK
[[명제논리,propositional_logic]]

----
Twins:

wpsp wpja wpko: x [[Date(2023-11-23T04:31:49)]]

WtEn:propositional_formula ?

[[WpEn:Propositional_formula]]
= https://en.wikipedia.org/wiki/Propositional_formula
([[Date(2023-11-23T04:31:49)]] 첫문단 "In propositional logic,
 //[[명제논리,propositional_logic]]에서
 a '''propositional formula''' is a type of syntactic formula
 // (syntactic_formula : [[신택스,syntax]] [[포뮬러,formula]] ... [[논리식,logical_formula]] ... 명제논리이므로 '''명제식,propositional_formula'''?)
 which is well formed and has a truth value.
 // [[적형식,wff]]이고 [[진리값,truth_value]]을 가지는.
 If the values of all variables in a propositional formula are given,
 // [[명제식,propositional_formula]]의 모든 변수의 값들이 주어지면,
 it determines a unique truth value.
 // 유일한([[유일성,uniqueness]]) [[진리값,truth_value]]이 [[결정,determination]]된다.
 A '''propositional formula''' may also be called '''a propositional expression, a sentence, or a sentential formula'''.
 // AKA: [[명제식,propositional_expression]], a [[문장,sentence]], or a [[문장식,sentential_formula]].
 ")

Up:
[[명제,proposition]] (curr [[명제proposition]])
[[논리식,logical_formula]]?