As tabelas-verdade são ferramentas que mostram todas as combinações possíveis de valores lógicos para proposições simples e compostas. Essa análise sistemática é indispensável na validação de argumentos. Seu uso simplifica a compreensão e solução de problemas lógicos.Considere as proposições
,
e Image failed to load: R
:
: "O número 4 é par."
: "O número 7 é divisível por 2."
: "A soma de dois números ímpares é par."
Neste contexto, com base nas proposições acima, observe as afirmativas a seguir:
I.
: "O número 4 é par, e o número 7 é divisível por 2."II.
: "O número 4 é par, ou a soma de dois números ímpares é par."III.
: "O número 7 não é divisível por 2, ou a soma de dois números ímpares é par."Está correto o que se afirma em: