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 )

RESPONDER

Marquinhos está aguardando sua ajuda, Clique aqui para responder.

Mais perguntas de Lógica

Lógica

Qual das alternativas abaixo apresenta a correta sequência lógica? A) Premissa, Conclusão, Argumento B) Argumento, Premissa, Conclusão C)...

mdomenici - há 2 anos

Lógica

Na lógica, o termo "stop" é usado para indicar o final de um argumento.

Altdool Lis - há 2 anos

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

2)A utilização de técnicas de gestão baseadas em método de análise ABC e no Diagrama de Espaguete, entre...

Cassiano Rafael - há 2 anos

Lógica

Qual dos números não pertence à série seguinte? 1-2-5-10-13-26-29-48

Guigsxxl - há 2 anos

Lógica

Considere a afirmação: para manter o bem estar da população, o Brasil deve preservar as suas florestas. Conclusões: As árvores devem ser...

liviassiqueira - há 2 anos

Lógica

Considere as seguintes afirmações:I) Para favorecer o desenvolvimento de uma formação integral e integrada, o Ensino...

frajanca - há 2 anos

Lógica

A gestora Camila Ramos, em uma reunião disse a seguinte frase: “A tipologia das competências individuais e organizacionais é definida com base...

Alves - há 2 anos

Lógica

Alguém sabe me dizer do porquê o Diagrama de Veen não funcionou !?

Isaac Pires - há 2 anos

Lógica

Ao trabalhar com problemas que envolvem conjuntos ,existem situações que exige a realização de perações entre os conjuntos ,sendo elas a união...

Marta Serrano - há 2 anos

Categorias