1.Previous
3.Next

the special case where is empty, this reduces to:

: if and only if

This states A logically implies B if and only if the material conditional is a theorem of the logic.

Many textbooks reserve the term logical consequence (or logical implication) for the semantic consequence relation with the symbol . In which case the relation becomes

: if and only if

A logically implies B if and only if the material conditional is a tautology.

1.Previous
3.Next