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