//명제논리,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.
")