atomic proposition گزارهی ِ اتمی gozâre-ye atomi
*Fr.: proposition atomique*
In → *propositional logic*, a → *sentence*
without any → *connective*s. See also
→ *molecular proposition*. → *atomic*; → *proposition*. |

categorical proposition گزارهی ِ کتاگریک gozâre-ye katâgorik
*Fr.: proposition catégorique*
In a → *syllogism*, a → *proposition*
or statement that deals with inclusion or exclusion of members of
→ *subject* classes in → *predicate*
classes. Categorical propositions are of four
basic forms, see → *Aristotelian form*. → *categorical*; → *proposition*. |

compound proposition گزارهی ِ همنات gozâre-ye hamnât
*Fr.: proposition composée*
A statement formed from simple statements by the use of words such as "and,"
"or," "not," "implies," or their corresponding symbols. → *compound*; → *proposition*. |

conditional proposition گزارهی ِ بوتاری gozâre-ye butâri
*Fr.: proposition conditionelle*
A compound → *proposition* in which one → *clause*
asserts something as true provided that the other clause is true.
A conditional statement consists of two parts, a hypothesis in the "if" clause and
a conclusion in the "then"clause. For instance, "If it rains, then they cancel school."
*It rains* is the hypothesis. *"They cancel school"* is the conclusion.
The clause following *if* is traditionally
called the → *antecedent*, whereas the clause
following *then* is called the → *consequent*. → *conditional*; → *proposition*. |

molecular proposition گزارهی ِ مولکولی gozâre-ye molekuli
*Fr.: proposition moléculaire*
In → *propositional logic*, a → *sentence*
containing at least one → *connective*s. See also
→ *atomic proposition*. → *atomic*; → *proposition*. |

proposition فراهل، گزاره farâhel, gozâré (#)
*Fr.: proposition*
1) The act of offering or suggesting something to be considered,
accepted, adopted, or done.
2) A plan or scheme proposed.
3) *Logic*: A statement in which something is affirmed or denied, so
that it can therefore be significantly characterized as either true or false.
4) *Math.*: A formal statement of either a truth to be demonstrated or an
operation to be performed; a theorem or a problem (Dictionary.com). Verbal noun of → *propose*. |

propositional گزارهای gozaare#ay (#)
*Fr.: propositionnel*
*Logic*: Of, relating to, or in the form of
a → *proposition*.
→ *proposition*; → *-al*. |

propositional constant پایای ِ گزارهای pâyâ-ye gozaare#ay
*Fr.: constante propositionnelle*
*Logic*: A → *propositional symbol* that represents a
→ *specific* → *proposition*.
→ *propositional*; → *constant*. |

propositional logic گوییک ِ گزارهای، ~ گزارهها guyik-e gozâre-yi, ~ gozaarehâ
*Fr.: logique propositionnelle*
A branch of logic that deals with the → *truth value*s
of logical statements (→ *sentence*s,
→ *proposition*s) and uses
→ *logical connective*s to build more complex
→ *expression*s. 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*. |

propositional symbol نماد ِ گزارهای nemâd-e gozâreyi
*Fr.: symbole propositionnel*
An upper case letter, e.g. "*A*," "*B*," "*C*," etc.
representing a → *proposition*.
Propositional symbols are divisible into two sorts:
→ *propositional constant*s and
→ *propositional variable*s. → *propositional*; → *symbol*. |

propositional variable ورتندهی ِ گزارهای vartande-ye gozâre-yi
*Fr.: variable propositionnel*
*Logic*: A → *propositional symbol* that represents any
→ *proposition* whatsoever.
→ *propositional*; → *variable*. |