بوتاری، بوتارمند butâri, butârmand
*Fr.: conditionnel*
1) Imposing, containing, subject to, or depending on a condition or conditions; not absolute;
made or allowed on certain terms.
2a) *Logic*: (of a proposition) Asserting that the existence or occurrence of one
thing or event depends on the existence or occurrence of another thing or event.
2b) (of a → *syllogism*) Containing at least one
→ *conditional proposition* as a
→ *premise* (Dictionary.com).
2c) The "if ... then" relation. → *condition*; → *-al*. |

اندرهازش ِ بوتاری andarhâzeš-e butâri
*Fr.: introduction conditionnelle*
A derivation rule that begins with an → *assumption*
in a → *subproof*
and allows for deriving a conditional outside the subproof.
The derived conditional consists of the assumed
proposition as the → *antecedent* and the derived conclusion in
the subproof as the → *consequent*. → *conditional*; → *introduction*. |

شوانایی ِ بوتاری šavânâyi-ye butâri
*Fr.: probabilité conditionnelle*
Of an event *B* in relationship to an event *A*, the probability that
event *B* occurs given that event *A* has already occurred.
The notation for conditional probability is *P(B|A)*, read as the probability
of *B* given *A*: *P(B|A) = P(A ∩ B)/P(A)*.
→ *Bayes' theorem*. → *conditional*; → *probability*. |

آوین ِ بوتاری âvin-e butâri
*Fr.: preuve conditionnelle*
A → *proof* in which one assumes the → *truth*
of one of the → *premise*s to show that if
that premise is true then the → *argument* is
→ *valid*. → *conditional*; → *proof*. |

گزارهی ِ بوتاری 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*. |

نابوتاری، نابوتارمند nâbutâri, nâbutârmand
*Fr.: inconditionnel*
Not limited by conditions; absolute. → *un-*; → *conditional*. |