Considere o sistema axiomático com regra de indução modus ponens e os axiomas abaixo: Ax1: A →
( B → A )Ax2: ( A → ( B → C ) ) → ( ( A → B ) → ( A → C ) )
Ax3: ( ~A → ~B) → ( B → A )
E demonstre sem pular nenhum passo que ⊢ ( A → A ) → ( A → A )
Marquinhos 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
