Sub:
명제함수
한정명제
가언명제
정언명제
선언명제
합성명제,compound_proposition 번역chk
항진명제 =항진명제,
항진명제 tautology
원시명제 =원시명제,원시명제 원시명제 
원시명제 
원시명제 - 뭐의 번역인지 확실히
.....
명제식,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 수백
수학백과: 합성명제항진명제 =항진명제,
항진명제 tautology원시명제 =원시명제,
원시명제 원시명제 원시명제 원시명제 - 뭐의 번역인지 확실히.....
명제식,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