An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

Logic: Of, relating to, or in the form of a → proposition.

→ proposition; → -al.

Logic: A → propositional symbol that represents a → specific → proposition.

→ propositional; → constant.

A branch of logic that deals with the → truth values of logical statements (→ sentences, → propositions) and uses → logical connectives to build more complex → expressions. The distinctive feature of propositional logic is that it does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. The propositions are evaluated as → true or → false. A more expressive system is provided by the → first-order logic.

→ proposition; → -al; → logic.

An upper case letter, e.g. "A," "B," "C," etc. representing a → proposition. Propositional symbols are divisible into two sorts: → propositional constants and → propositional variables.

→ propositional; → symbol.

Logic: A → propositional symbol that represents any → proposition whatsoever.

→ propositional; → variable.