Aproposição { [ (A→B )→~A] ∧ (A ∧~ B ) } →[ (A ∧ ~ B ) ∨B ] é logicamente equivalente a qual das proposições a seguir?
Provas
Questão presente nas seguintes provas
Aproposição { [ (A→B )→~A] ∧ (A ∧~ B ) } →[ (A ∧ ~ B ) ∨B ] é logicamente equivalente a qual das proposições a seguir?
