Prove ou refute os sequentes abaixo usando Tableaux Analítcos. a) ¬p ⊢ (p ∧ ¬q) → (p ∧ q) b)
Prove ou refute os sequentes abaixo usando Tableaux Analítcos. a) ¬p ⊢ (p ∧ ¬q) → (p ∧ q)b) ¬p ⊢ p → (q ∧ ¬q)
tokioruiva está aguardando sua ajuda, Clique aqui para responder.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
