| p | q | (pV~p)!$ ightarrow !$q |
| V | V | X |
| V | F | Y |
| F | V | Z |
| F | F | W |
Seja a proposição composta P(p, q)=(p∨~p)!$ ightarrow !$q, a tabela verdade da operação é dada abaixo
| p | q | (pV~p)!$ ightarrow !$q |
| V | V | X |
| V | F | Y |
| F | V | Z |
| F | F | W |
Seja a proposição composta P(p, q)=(p∨~p)!$ ightarrow !$q, a tabela verdade da operação é dada abaixo
