Conditional Statement (other)
   HOME

TheInfoList



OR:

A conditional statement may refer to: * A conditional formula in logic and mathematics, which can be interpreted as: **
Material conditional The material conditional (also known as material implication) is a binary operation commonly used in logic. When the conditional symbol \to is interpreted as material implication, a formula P \to Q is true unless P is true and Q is false. M ...
**
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 necess ...
**
Variably strict conditional Counterfactual conditionals (also ''contrafactual'', ''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 he ...
**
Relevance conditional Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, b ...
* A
conditional sentence A conditional sentence is a sentence in a natural language that expresses that one thing is contingent on another, e.g., "If it rains, the picnic will be cancelled." They are so called because the impact of the sentence’s main clause is ''con ...
in natural language, including: **
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 ...
**
Counterfactual conditional Counterfactual conditionals (also ''contrafactual'', ''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 h ...
** Biscuit conditional *
Conditional (computer programming) In computer science, conditionals (that is, conditional statements, conditional expressions and conditional constructs) are programming language constructs that perform different computations or actions or return different values depending on t ...
, a conditional statement in a computer programming language


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 state ...
*
Conditional (disambiguation) 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 *Conditional proof, in logic: a proof that asserts a conditional, a ...
*
Logical biconditional In logic and mathematics, the logical biconditional, also known as material biconditional or equivalence or bidirectional implication or biimplication or bientailment, is the logical connective used to conjoin two statements P and Q to form th ...
*
Logical consequence Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statement (logic), statements that hold true when one statement logically ''follows from'' one or more stat ...
{{disambig