Construindo a tabela verdade da proposição ~p -> (~p -> ~q) obtemos: F F V V V V V V V V V F F F F F V V F V

A tabela verdade da proposição ~p -> (~p -> ~q) é a seguinte: p | q | ~p | ~q | ~p -> (~p -> ~q) ---------------------------------- V | V | F | F | V V | F | F | V | V F | V | V | F | F F | F | V | V | V Espero que isso ajude! Se você tiver mais alguma pergunta, é só me dizer.