Um dos instrumentos mais importantes na avaliação da validade ou não de um argumento é a tabela-verdade. Considere que P e Q sejam proposições e que " ^", " ^" e "→" sejam os conectores lógicos que representam, respectivamente, "e", "ou" e o "conector condicional". Então, o preenchimento correto da última coluna da tabela-verdade acima é