Aproposição { [ (A→B )→~A] ˄ (A ˄~ B ) } →[ (A ˄ ~ B ) ˅B ] ...
Aproposição { [ (A→B )→~A] ˄ (A ˄~ B ) } →[ (A ˄ ~ B ) ˅B ] é logicamente equivalente a qual das proposições a seguir?
Aproposição { [ (A→B )→~A] ˄ (A ˄~ B ) } →[ (A ˄ ~ B ) ˅B ] é logicamente equivalente a qual das proposições a seguir?