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

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

MKLINK
[[명제논리,propositional_logic]]
[[disjunctive_normal_form]]
 : A canonical form for a '''propositional formula'''. ( https://encyclopediaofmath.org/wiki/Disjunctive_normal_form )
----
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]].
 ")

https://encyclopediaofmath.org/wiki/Propositional_formula
 [[명제연결사,propositional_connective]] =명제연결사,propositional_connective =,propositional_connective 명제연결사 propositional_connective
  {
  '''propositional connective'''
  https://encyclopediaofmath.org/wiki/Propositional_connective 

  MKL [[논리연결사,logical_connective]]

  Up: [[연결사,connective]]

  WtEn:propositional_connective x 2024-03
  } // propositional connective ... Ggl:"propositional connective" NN:"propositional connective"
 [[명제변수,propositional_variable]] =명제변수,propositional_variable =,propositional_variable 명제변수 propositional_variable
  {
  '''propositional variable'''
  https://encyclopediaofmath.org/wiki/Propositional_variable
  https://en.wiktionary.org/wiki/propositional_variable
  MKL [[명제상수,propositional_constant]] =명제상수,propositional_constant =,propositional_constant 명제상수 propositional_constant
   {
   w
   '''propositional constant'''
   https://en.wiktionary.org/wiki/propositional_constant
   Up: [[명제,proposition]] [[상수,constant]]
   } // propositional constant .... Ggl:"propositional constant" NN:"propositional constant"
  } // propositional variable ... Ggl:"propositional variable" NN:"propositional variable"

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