명제proposition

Difference between r1.14 and the current

@@ -42,6 +42,10 @@

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

[[명제연결사,propositional_connective]]

[[명제상수,propositional_constant]]

[[명제변수,propositional_variable]]

----
RENAMETO OR MOVETO [[명제,proposition]] .... [[VG:명제,proposition]] + RENAMETHISPAGE
----

Either 참,true or 거짓,false.

Sub:

명제함수
한정명제

전칭명제
존재명제

가언명제

= https://ko.wikipedia.org/wiki/가언_명제

(no en interwiki)

정언명제

http://www.aistudy.com/logic/categorical_proposition.htm

= https://ko.wikipedia.org/wiki/정언명제
(categorical proposition 또는 categorical statement)

Categorical_proposition

= https://en.wikipedia.org/wiki/Categorical_proposition

선언명제

= https://ko.wikipedia.org/wiki/선언_명제

(no en interwiki)

합성명제,compound_proposition 번역chk

에는
부정명제, negation / negative ? ....( curr at 부정%2Cnegation?action=highlight&value=부정명제 )
논리곱,
논리합,
조건문,
쌍조건문,
들이 있다 ... see 수백
[https]

[https]

수학백과: 합성명제

단순명제,simple_proposition 번역 via 수백: 합성명제

.....

명제식,propositional_formula

propositional_calculus

=>

명제논리,propositional_logic

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

RENAMETO OR MOVETO 명제,proposition ....

명제,proposition + RENAMETHISPAGE

관련표현
propositionalize

propositionalize

propositionalize ?

propositionalize

propositionalization =,propositionalization . propositionalization (w)

propositionalization

DB용어? " The transformation of a relational_dataset into a propositional one. " 암튼 2023-11-07 현재 db뜻만 있음

Twin:

editing @ local