O argumento pode ser traduzido para a forma lógica da seguinte maneira: - ∀x (Px → Aj) - ∀x (Aj → ¬Rj) - ∀x (¬Rj → Bx) - ∴ ∀x (Px → Bx) Onde: - Px: "x é um papagaio" - Aj: "x ama Julieta" - Rj: "x ama Romeu" - Bx: "x tem bom gosto" Para determinar a validade do argumento, podemos usar o método da dedução natural. Começamos assumindo a premissa (1) e tentamos deduzir a conclusão (4) usando as regras da lógica proposicional. O resultado é o seguinte: 1. ∀x (Px → Aj) Premissa 2. ∀x (Aj → ¬Rj) Premissa 3. ∀x (¬Rj → Bx) Premissa 4. | Pa Suposição (para deduzir a conclusão) 5. | Pa → Aj ∀e (1) 6. | Aj MP (4, 5) 7. | Aj → ¬Rj ∀e (2) 8. | ¬Rj MP (6, 7) 9. | ¬Rj → Bp ∀e (3) 10.| Bp MP (8, 9) 11.| Pa → Bp →i (4-10) 12.∀x (Px → Bx) ∀i (11) Como conseguimos deduzir a conclusão (4) a partir das premissas (1)-(3), o argumento é válido. Portanto, podemos concluir que a afirmação "todos os papagaios têm bom gosto" é uma consequência lógica das outras três afirmações.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar