Either [[참,true]] or [[거짓,false]].
----
Sub:
 [[명제함수]]
 [[한정명제]]
  [[전칭명제]]
  [[존재명제]]

 가언명제
  WpKo:가언_명제
   = https://ko.wikipedia.org/wiki/가언_명제
  (no en interwiki)
  
 정언명제
  http://www.aistudy.com/logic/categorical_proposition.htm
  WpKo:정언명제
   = https://ko.wikipedia.org/wiki/정언명제
   (categorical proposition 또는 categorical statement)
  WpEn:Categorical_proposition
   = https://en.wikipedia.org/wiki/Categorical_proposition

 선언명제
  WpKo:선언_명제
   = https://ko.wikipedia.org/wiki/선언_명제
  (no en interwiki)

 [[합성명제,compound_proposition]] 번역chk
  에는
  [[부정명제,]] negation / negative ? ....( curr at [[부정%2Cnegation?action=highlight&value=부정명제]] )
  [[논리곱,]]
  [[논리합,]]
  [[조건문,]]
  [[쌍조건문,]]
  들이 있다 ... see 수백
  [[https://terms.naver.com/entry.naver?docId=3338062&cid=47324&categoryId=47324 수학백과: 합성명제]]
 [[단순명제,simple_proposition]] 번역 via 수백: 합성명제

 .....

 [[명제식,propositional_formula]]

 propositional_calculus
  => [[VG:명제논리,propositional_logic]]

 [[명제연결사,propositional_connective]]
 [[명제상수,propositional_constant]]
 [[명제변수,propositional_variable]]

----
RENAMETO OR MOVETO [[명제,proposition]] .... [[VG:명제,proposition]] + RENAMETHISPAGE
----
관련표현
propositionalize
 WtEn:propositionalize
 Ndict:propositionalize ? Ggl:propositionalize

[[propositionalization]] =,propositionalization . propositionalization (w)
 WtEn:propositionalization
   DB용어? " The transformation of a relational_dataset into a propositional one. " 암튼  2023-11-07 현재 db뜻만 있음

----
Twin:

editing @ local