Propozional

Propozional is an adjective used to describe things related to propositions—the statements that can be true or false. The term is most common in the fields of logic and philosophy of language, and it appears in translations of the English term propositional.

Propositional logic is the branch of logic that treats propositions as the primary bearers of truth values and analyzes how complex propositions are formed using connectives such as and, or, not, implies, and if and only if. In this framework, sentences are represented by formulas built from propositional variables and logical connectives; the truth of any formula is determined solely by the truth values of its variables (truth-functional semantics).

In linguistics and philosophy, propozional relates to the propositional content of statements and to propositional attitudes—beliefs, desires, or doubts about that content. The difference between propositional logic and predicate logic is that the former ignores quantification and subject terms, focusing on entire statements as units, while the latter deals with predicates and quantifiers.

Etymology and usage: The word derives from Latin propositio via French and English; in many languages a cognate is used for related concepts. In Romanian-language texts, the equivalent term appears as logica propozițională (propozițională logică).

See also: Propositional logic, Propositions, Truth value, Logical connectives, Predicate logic.