Baixe o app para aproveitar ainda mais
Prévia do material em texto
Introdução à Lógica 23 de janeiro de 2017 1. Verifique se as seguintes formas de inferência são válidas ou inválidas 1) A→ B ¬A→ B ¬B 2) A→ B C → ¬B A→ ¬C 3) A→ (B → C) A ∧B 4) A ∧B ¬B ∧ C A C 5) A→ (B ∧ C) (B ∨ C)→ ¬A A ∨B 6) (A ∨B)→ (A ∧ ¬B) ¬B → ¬A 7) (A→ B) ∧ (C → D) A ∨ C B ∨D 8) ¬A ∨B B A 9) A→ B B → C B ∧ C 10) B → (B → C) A→ B B → C 1
Compartilhar