- Abstract algebra
- >
- Binary operations
- >
- Logical consequence
- >
- Conditionals

- Classical logic
- >
- Propositional calculus
- >
- Logical consequence
- >
- Conditionals

- Formal theories
- >
- Logical expressions
- >
- Propositions
- >
- Conditionals

- Logic symbols
- >
- Logical expressions
- >
- Propositions
- >
- Conditionals

- Propositions
- >
- Propositional calculus
- >
- Logical consequence
- >
- Conditionals

- Systems of formal logic
- >
- Propositional calculus
- >
- Logical consequence
- >
- Conditionals

Implicational propositional calculus

In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this bi

Strict conditional

In logic, a strict conditional (symbol: , 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 c

Corresponding conditional

In logic, the corresponding conditional of an argument (or derivation) is a material conditional whose antecedent is the conjunction of the argument's (or derivation's) premises and whose consequent i

Causality

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 o

Implication

No description available.

Conditional

No description available.

Antecedent (logic)

An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the protasis. Examples:
* If , then . This is

Material conditional

The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is tr

Consequent

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 a

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.

© 2023 Useful Links.