Conditional
Encyclopedia
Conditional may refer to:
- Causal conditionalCausalityCausality is the relationship between an event and a second event , where the second event is understood as a consequence of the first....
, if X then Y, where X is a cause of Y - Conditional moodConditional moodIn linguistics, the conditional mood is the inflectional form of the verb used in the independent clause of a conditional sentence to refer to a hypothetical state of affairs, or an uncertain event, that is contingent on another set of circumstances...
(or conditional tense), a verb form in many languages - Conditional probabilityConditional probabilityIn probability theory, the "conditional probability of A given B" is the probability of A if B is known to occur. It is commonly notated P, and sometimes P_B. P can be visualised as the probability of event A when the sample space is restricted to event B...
, the probability of an event A given that another event B has occurred - Conditional sentenceConditional sentenceIn grammar, conditional sentences are sentences discussing factual implications or hypothetical situations and their consequences. Languages use a variety of conditional constructions and verb forms to form such sentences....
, discuss hypothetical situations and their consequences - Indicative conditionalIndicative conditionalIn natural languages, an indicative conditional is the logical operation given by statements of the form "If A then B". Unlike the material conditional, an indicative conditional does not have a stipulated definition...
, a conditional in the form of "If A then B" in natural languages- Counterfactual conditionalCounterfactual conditionalA counterfactual conditional, subjunctive conditional, or remote conditional, abbreviated , is a conditional statement indicating what would be the case if its antecedent were true...
, or subjunctive conditional, indicates what would be the case if its antecedent were true
- Counterfactual conditional
- Conditional proofConditional proofA 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....
, in logic: a proof that asserts a conditional, and proves that the antecedent leads to the consequent. - Material conditionalMaterial conditionalThe material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q is logically equivalent to the negative compound: not . A material conditional compound itself is often simply called a conditional...
, in propositional calculus, or logical calculus in mathematics - Strict conditionalStrict conditionalIn logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p \rightarrow q says that p materially implies q while \Box says that p strictly implies q...
, in logic - Relevance conditional, in relevance logic
- Conditional (programming), a statement or expression in computer programming languages
- A conditional expression in computer programming languages such as ?:?:In computer programming, ?: is a ternary operator that is part of the syntax for a basic conditional expression in several programming languages...
- Conditions in a contractContractA contract is an agreement entered into by two parties or more with the intention of creating a legal obligation, which may have elements in writing. Contracts can be made orally. The remedy for breach of contract can be "damages" or compensation of money. In equity, the remedy can be specific...