(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?