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.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.