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]수학백과: 합성명제(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
Retrieved from http://red-ruby.com/wiki/wiki.php/명제proposition
last modified 2024-03-29 04:00:08