Na era digital um professor de filosofia contribui na formação dos estudantes quando ajuda-os a conhecer alguns princípios da lógica matemática. Assim sendo a proposição: ~p ^ (p ^ ~q) é uma: