Implikasi Logis

Suatu bentuk pernyataan implikasi yang merupakan tautologi disebut implikasi logis.

Contoh:

    p        q         p → q       ( p → q ) ∧ p     [ ( p → q ) ∧ p ] → p

 ---------------------------------------------------------------------------------------

    B         B           B                     B                            B

    B         S           S                     S                            B

    S         B           B                     S                            B

    S         S           B                     S                            B