Conditional (if then) may refer to:
*
Causal conditional
Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the cau ...
, if X then Y, where X is a cause of Y
*
Conditional probability
In probability theory, conditional probability is a measure of the probability of an event occurring, given that another event (by assumption, presumption, assertion or evidence) has already occurred. This particular method relies on event B occur ...
, 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 logic, a strict conditional (symbol: \Box, or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity ...
, in philosophy, logic, and mathematics
*
Material conditional
The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol \rightarrow is interpreted as material implication, a formula P \rightarrow Q is true unless P is true and Q is ...
, in propositional calculus, or logical calculus in mathematics
*
Relevance conditional, in relevance logic
*
Conditional (computer programming)
In computer science, conditionals (that is, conditional statements, conditional expressions and conditional constructs,) are programming language commands for handling decisions. Specifically, conditionals perform different computations or actio ...
, 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 The conditional mood (abbreviated ) is a grammatical mood used in conditional sentences to express a proposition whose validity is dependent on some condition, possibly counterfactual.
It may refer to a distinct verb form that expresses the condit ...
(or conditional tense), a verb form in many languages
*
Conditional sentence
Conditional sentences are natural language sentences that express that one thing is contingent on something else, e.g. "If it rains, the picnic will be cancelled." They are so called because the impact of the main clause of the sentence is ''cond ...
, a sentence type used to refer to hypothetical situations and their consequences
**
Indicative conditional
In natural languages, an indicative conditional is a conditional sentence such as "If Leona is at home, she isn't in Paris", whose grammatical form restricts it to discussing what could be true. Indicatives are typically defined in opposition to c ...
, a conditional sentence expressing "if A then B" in a natural language
**
Counterfactual conditional
Counterfactual conditionals (also ''subjunctive'' or ''X-marked'') are conditional sentences which discuss what would have been true under different circumstances, e.g. "If Peter believed in ghosts, he would be afraid to be here." Counterfactua ...
, a conditional sentence indicating what would be the case if its antecedent were true
Other
*
"Conditional" (Laura Mvula song)
*
Conditional jockey A conditional jockey is an apprentice National Hunt racing jockey in Great Britain or Ireland under the age of 26 who has not won more than seventy-five races under rules or had not won that many races within the last six months.
A conditional joc ...
, an apprentice jockey in British or Irish National Hunt racing
*
Conditional short-circuit current Conditional short-circuit current is the value of the alternating current component of a prospective current, which a switch without integral short-circuit protection, but protected by a suitable short circuit protective device (SCPD) in series, can ...
*
Conditional Value-at-Risk
Expected shortfall (ES) is a risk measure—a concept used in the field of financial risk measurement to evaluate the market risk or credit risk of a portfolio. The "expected shortfall at q% level" is the expected return on the portfolio in the wor ...
See also
*
Condition (disambiguation)
Condition or conditions may refer to:
In philosophy and logic
* Material conditional, a logical connective used to form "if...then..." statements
* Necessary and sufficient condition, a statement which is true if and only if another given statem ...
*
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