Tautological Implication

In this class, We discuss Tautological Implication.

The reader should have prior knowledge of conditional connectives. Click Here.

Take proposition A and another proposition B.

A -> B is tautology, then we say tautologically implied.

Example:

A: p ∧ (p -> q)

B: q

A -> B is a tautology

The below truth table shows the tautology.

Tautologically implied means if A is true, then B is true. Then only A -> B will be a tautology.