Difference between r1.2 and the current
@@ -1,6 +1,64 @@
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
Sub:
명제함수
한정명제
가언명제
정언명제
선언명제
합성명제,compound_proposition 번역chk
.....
명제식,propositional_formula
propositional_calculus
명제연결사,propositional_connective
명제상수,propositional_constant
명제변수,propositional_variable
한정명제
가언명제
정언명제
선언명제
합성명제,compound_proposition 번역chk
에는
부정명제, negation / negative ? ....( curr at 부정%2Cnegation?action=highlight&value=부정명제 )
논리곱,
논리합,
조건문,
쌍조건문,
들이 있다 ... see 수백
![[https]](/wiki/imgs/https.png)
수학백과: 합성명제
단순명제,simple_proposition 번역 via 수백: 합성명제부정명제, negation / negative ? ....( curr at 부정%2Cnegation?action=highlight&value=부정명제 )
논리곱,
논리합,
조건문,
쌍조건문,
들이 있다 ... see 수백
수학백과: 합성명제.....
명제식,propositional_formula
propositional_calculus
명제연결사,propositional_connective
명제상수,propositional_constant
명제변수,propositional_variable
관련표현
propositionalize
propositionalization =,propositionalization . propositionalization (w)
propositionalization
propositionalize
propositionalization =,propositionalization . propositionalization (w)
propositionalizationDB용어? " The transformation of a relational_dataset into a propositional one. " 암튼 2023-11-07 현재 db뜻만 있음
Twin:
editing @ local