Conditionals

Causality is an influence by which one event, process, state, or subject (i.e., a cause) contributes to the production of another event, process, state, or object (i.e., an effect) where the cause is at least partly responsible for the effect, and the effect is at least partly dependent on the cause. The cause of something may also be described as the reason behind the event or process.

logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right

A consequent is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if P implies Q, then P is called the antecedent and Q is called the consequent. In some contexts, the consequent is called the apodosis.

first half of an hypothetical proposition

formal way of expressing the meaning of a conditional sentence

formal proof

Conditional (if then) may refer to: