Sejam p e q duas proposições. Considere a sentença S dada por: (p → q) ↔ (~p ∨ q) e a tabela verdade abaixo.
Construindo a tabela verdade acima, os valores lógicos da sentença S (de cima para baixo) são:
Considere as proposições compostas:
• (P ∧ Q) → (P ∨ Q).
• (P ∨ Q) → (P ∧ Q).
Essas proposições são, respectivamente, exemplos de
Considere as proposições compostas:
• (P ∧ Q) → (P ∨ Q). • (P ∨ Q) → (P ∧ Q).
Essas proposições são, respectivamente, exemplos de
Analise as fórmulas a seguir:
I) A ∨ ¬B
II) ((A → B) ∧ B) → A
III) ((A ∨ B) ∧ ¬A) ∧ ¬A
IV) ((A → B) ∧ (C → D)) ∧ ¬(A → D)
V) P → ¬(P ∨ P)
São tautologias:
Uma proposição é um enunciado declarativo que expressa uma ideia completa e sobre o qual se pode atribuir um valor lógico. Considere as proposições a seguir:
I. Se um número é múltiplo de 6, então ele é par.
II. Todo número primo maior que 2 é ímpar.
III. Se uma pessoa estuda lógica, então ela entende argumentação. Logo, quem não entende argumentação não estuda lógica.
IV. Há números naturais que são divisíveis por 2 e 3 ao mesmo tempo.
V. Ou chove ou faz sol; como está nublado, então nem chove nem faz sol. Com base nas leis da lógica e na análise das proposições, assinale a alternativa CORRETA: