Usar a tabela-verdade para verificar que são válidos os segu...

Usar a tabela-verdade para verificar que são válidos os seguintes argumentos: a) p −→ q,r −→∼ q r −→∼ p b) p −→∼ q,r −→ p q −→∼ r c) p −→ q,r∨ ∼ q,∼ r ∼ p d) p −→ q∨r,∼ q p −→ r e) p −→∼ q, p,∼ q −→ r r 2.2. Demonstrar a não-validade dos seguintes argumentos pelo método de atribuição de valores lógicos: a) p −→∼ q,r −→ p q −→∼ r b) p −→∼ q,r −→ p q −→∼ r c) p −→∼ q,r −→ p q −→∼ r d) p −→∼ q,r −→ p q −→∼ r e) p −→∼ q,r −→ p q −→∼ r

Exemplo 2.1. Verificar se é válido o argumento p −→ q,q p 2.2. Verificar se é válido o argumento p∨q,∼ q, p −→ r r 2.3 Testar a validade do argumento Se 8 não é par, então 5 não é primo. Mas 8 é par. Logo, 5 é primo. Solução chamando de p: 8 é par, q: 5 é primo, temos ∼ p −→∼ q, p ` q