Dado um número inteiro qualquer, então, ou ele é par, ou é ímpar. Diante dessa premissa, considere a seguinte sentença:
Se dois números inteiros são pares, então a soma desses números é um número inteiro par.
Essa sentença é logicamente equivalente à sentença
Considere o seguinte argumento, no qual a conclusão foi omitida:
Uma conclusão que torna o argumento acima válido é
Considere o seguinte argumento:
A validade do argumento pode ser deduzida, respectivamente, a partir da aplicação das regras de inferência
Considere as duas proposições a seguir, identificadas como p e q.
p: O céu é verde.
q: A água do mar é doce.
Ao classificar as proposições p e q como verdadeiras ou falsas, é correto afirmar que a única operação lógica verdadeira, nesse caso, é
Considere que temos três proposições, identificadas como p, q e r. Objetiva-se construir uma tabela-verdade para avaliar os valores lógicos que a proposição composta p v ~ r → q ᴧ ~ r pode assumir. A esse respeito, avalie as afirmações a seguir.
I. A tabela-verdade, nesse caso, terá seis linhas.
II. A tabela-verdade, nesse caso, terá oito linhas.
III. Haverá apenas três linhas da tabela-verdade na coluna correspondente à proposição composta p v ~ r → q ᴧ ~ r, que assumirá o valor verdadeiro.
Está correto apenas o que se afirma em
Considere a proposição simples p e avalie as afirmações a seguir em relação às proposições compostas.
I. p ᴧ ~ p é uma contradição.
II. p → ~ p é uma tautologia.
III. ~ (p ᴧ ~ p) é uma contingência.
Está correto apenas o que se afirma em
