(wpen) propositional_expression, sentential_formula 와 동의어이며 sentence라고도 한다고. -
문장,sentence과의 관계 확실히.
Twins:
wpsp wpja wpko: x 2023-11-23
Propositional_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_formula
Up:
명제,proposition (curr
명제proposition)
논리식,logical_formula?