Conditional (if then) may refer to:
*
Causal conditional, if X then Y, where X is a cause of Y
*
Conditional probability, the probability of an event A given that another event B has occurred
*
Conditional proof
A conditional proof is a proof that takes the form of asserting a conditional, and proving that the antecedent of the conditional necessarily leads to the consequent.
Overview
The assumed antecedent of a conditional proof is called the condit ...
, in logic: a proof that asserts a conditional, and proves that the antecedent leads to the consequent
*
Strict conditional, in philosophy, logic, and mathematics
*
Material conditional, in propositional calculus, or logical calculus in mathematics
*
Relevance conditional, in relevance logic
*
Conditional (computer programming), a statement or expression in computer programming languages
*A conditional expression in computer programming languages such as
?:
*Conditions in a
contract
A contract is a legally enforceable agreement between two or more parties that creates, defines, and governs mutual rights and obligations between them. A contract typically involves the transfer of goods, services, money, or a promise to tran ...
Grammar and linguistics
*
Conditional mood (or conditional tense), a verb form in many languages
*
Conditional sentence, a sentence type used to refer to hypothetical situations and their consequences
**
Indicative conditional, a conditional sentence expressing "if A then B" in a natural language
**
Counterfactual conditional, a conditional sentence indicating what would be the case if its antecedent were true
Other
*
"Conditional" (Laura Mvula song)
*
Conditional jockey, an apprentice jockey in British or Irish National Hunt racing
*
Conditional short-circuit current
*
Conditional Value-at-Risk
See also
*
Condition (disambiguation)
*
Conditional statement (disambiguation) A conditional statement may refer to:
* A conditional formula in logic and mathematics, which can be interpreted as:
** Material conditional
** Strict conditional
** Variably strict conditional
** Relevance logic, Relevance conditional
* A conditio ...
{{disambiguation