1) Imposing, containing, subject to, or depending on a condition or conditions; not absolute;
made or allowed on certain terms.
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.
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.
Fr.: preuve conditionnelle
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.
Not limited by conditions; absolute.