Propositional formula

A propositional formula (also called a propositional expression, a sentence, or a sentential formula) is a syntactic expression that is formed from the elements in a given alphabet A of propositional variables, say, A = {p, q, r, &hellip;}, together with the elements in a given set of k-adic operator symbols from propositional logic, typically, the 0-adic operator symbols in {false, true}, the 1-adic symbol &not;, plus some subset of the 2-adic symbols in {&and;, &or;, &rarr;, &harr;}. Other collections of operator symbols may be used, depending on the particular formal language that is in play.

In contexts of discussion that involve little risk of confusion, a propositional formula may be more briefly referred to as a "proposition", but the distinction between a proposition, a formal object under discussion, and a propositional formula, a formal expression that denotes it, must be maintained.

Funkcja zdaniowa Предикат