Книга: Propositional Formula: Propositional Formula, Propositional Calculus, Well-formed Formula, Truth Value, Propositional Variable, Formal Language, Proposition, Hypostatic Abstraction

High Quality Content by WIKIPEDIA articles! In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula. A propositional formula is constructed from simple propositions, such as 'x is greater than three' or propositional variables such as P and Q, using connectives such as NOT, AND, OR, and IMPLIES.