Difference between r1.9 and the current
@@ -5,11 +5,56 @@
MKLINK
[[명제논리,propositional_logic]]
[[disjunctive_normal_form]]
: A canonical form for a '''propositional formula'''. ( https://encyclopediaofmath.org/wiki/Disjunctive_normal_form )
----Twins:
WpEn:Propositional_formula
wpsp wpja wpko: x [[Date(2023-11-23T04:31:49)]]
WtEn:propositional_formula ?
[[WpEn:Propositional_formula]]
= https://en.wikipedia.org/wiki/Propositional_formula
([[Date(2023-11-23T04:31:49)]] 첫문단 "In propositional logic,
//[[명제논리,propositional_logic]]에서
a '''propositional formula''' is a type of syntactic formula
// (syntactic_formula : [[신택스,syntax]] [[포뮬러,formula]] ... [[논리식,logical_formula]] ... 명제논리이므로 '''명제식,propositional_formula'''?)
which is well formed and has a truth value.
// [[적형식,wff]]이고 [[진리값,truth_value]]을 가지는.
If the values of all variables in a propositional formula are given,
// [[명제식,propositional_formula]]의 모든 변수의 값들이 주어지면,
it determines a unique truth value.
// 유일한([[유일성,uniqueness]]) [[진리값,truth_value]]이 [[결정,determination]]된다.
A '''propositional formula''' may also be called '''a propositional expression, a sentence, or a sentential formula'''.
// AKA: [[명제식,propositional_expression]], a [[문장,sentence]], or a [[문장식,sentential_formula]].
")
https://encyclopediaofmath.org/wiki/Propositional_formula
[[명제연결사,propositional_connective]] =명제연결사,propositional_connective =,propositional_connective 명제연결사 propositional_connective
{
'''propositional connective'''
https://encyclopediaofmath.org/wiki/Propositional_connective
MKL [[논리연결사,logical_connective]]
Up: [[연결사,connective]]
WtEn:propositional_connective x 2024-03
} // propositional connective ... Ggl:"propositional connective" NN:"propositional connective"
[[명제변수,propositional_variable]] =명제변수,propositional_variable =,propositional_variable 명제변수 propositional_variable
{
'''propositional variable'''
https://encyclopediaofmath.org/wiki/Propositional_variable
https://en.wiktionary.org/wiki/propositional_variable
MKL [[명제상수,propositional_constant]] =명제상수,propositional_constant =,propositional_constant 명제상수 propositional_constant
{
w
'''propositional constant'''
https://en.wiktionary.org/wiki/propositional_constant
Up: [[명제,proposition]] [[상수,constant]]
} // propositional constant .... Ggl:"propositional constant" NN:"propositional constant"
} // propositional variable ... Ggl:"propositional variable" NN:"propositional variable"
Up:
[[명제,proposition]] (curr [[명제proposition]])
(wpen) propositional_expression, sentential_formula 와 동의어이며 sentence라고도 한다고. - 문장,sentence과의 관계 확실히.
MKLINK
명제논리,propositional_logic
disjunctive_normal_form
명제논리,propositional_logic
disjunctive_normal_form
: A canonical form for a propositional formula. ( https://encyclopediaofmath.org/wiki/Disjunctive_normal_form )
Twins:
wpsp wpja wpko: x 2023-11-23
Propositional_formula
= https://en.wikipedia.org/wiki/Propositional_formula
(2023-11-23 첫문단 "In propositional logic,
명제,proposition (curr 명제proposition)
논리식,logical_formula?
= https://en.wikipedia.org/wiki/Propositional_formula
(2023-11-23 첫문단 "In propositional logic,
//명제논리,propositional_logic에서
a propositional formula is a type of syntactic formula
// (syntactic_formula : 신택스,syntax 포뮬러,formula ... 논리식,logical_formula ... 명제논리이므로 명제식,propositional_formula?)
which is well formed and has a truth value.
// 적형식,wff이고 진리값,truth_value을 가지는.
If the values of all variables in a propositional formula are given,
// 명제식,propositional_formula의 모든 변수의 값들이 주어지면,
it determines a unique truth value.
// 유일한(유일성,uniqueness) 진리값,truth_value이 결정,determination된다.
A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.
// AKA: 명제식,propositional_expression, a 문장,sentence, or a 문장식,sentential_formula.
")
https://encyclopediaofmath.org/wiki/Propositional_formulaa propositional formula is a type of syntactic formula
// (syntactic_formula : 신택스,syntax 포뮬러,formula ... 논리식,logical_formula ... 명제논리이므로 명제식,propositional_formula?)
which is well formed and has a truth value.
// 적형식,wff이고 진리값,truth_value을 가지는.
If the values of all variables in a propositional formula are given,
// 명제식,propositional_formula의 모든 변수의 값들이 주어지면,
it determines a unique truth value.
// 유일한(유일성,uniqueness) 진리값,truth_value이 결정,determination된다.
A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.
// AKA: 명제식,propositional_expression, a 문장,sentence, or a 문장식,sentential_formula.
")
명제연결사,propositional_connective =명제연결사,propositional_connective =,propositional_connective 명제연결사 propositional_connective
Up:{
propositional connective
https://encyclopediaofmath.org/wiki/Propositional_connective
MKL 논리연결사,logical_connective
Up: 연결사,connective
propositional_connective x 2024-03
} // propositional connective ... propositional connective propositional connective
명제변수,propositional_variable =명제변수,propositional_variable =,propositional_variable 명제변수 propositional_variablepropositional connective
https://encyclopediaofmath.org/wiki/Propositional_connective
MKL 논리연결사,logical_connective
Up: 연결사,connective
propositional_connective x 2024-03
} // propositional connective ... propositional connective propositional connective
{
propositional variable
https://encyclopediaofmath.org/wiki/Propositional_variable
https://en.wiktionary.org/wiki/propositional_variable
MKL 명제상수,propositional_constant =명제상수,propositional_constant =,propositional_constant 명제상수 propositional_constant
propositional variable
https://encyclopediaofmath.org/wiki/Propositional_variable
https://en.wiktionary.org/wiki/propositional_variable
MKL 명제상수,propositional_constant =명제상수,propositional_constant =,propositional_constant 명제상수 propositional_constant
{
w
propositional constant
https://en.wiktionary.org/wiki/propositional_constant
Up: 명제,proposition 상수,constant
} // propositional constant .... propositional constant propositional constant
} // propositional variable ... propositional variable propositional variablew
propositional constant
https://en.wiktionary.org/wiki/propositional_constant
Up: 명제,proposition 상수,constant
} // propositional constant .... propositional constant propositional constant
명제,proposition (curr 명제proposition)
논리식,logical_formula?