Lógica proposicional [5] - Regras derivadas (2/3)

Server no Discord do canal:   / discord  
.
Neste vídeo eu apresento algumas regras de inferência derivadas, isto é, regras que não são necessárias em nosso sistema, mas que ajudam bastante em algumas provas, como a contraposição, o silogismo disjuntivo e a regra de prova condicional.

Texto em que eu falo sobre o teorema da dedução:
https://pensamentosesqueciveis.wordpr...


Fluidscape de Kevin MacLeod está licenciada sob uma licença Creative Commons Attribution (https://creativecommons.org/licenses/...)
Origem: http://incompetech.com/music/royalty-...
Artista: http://incompetech.com/

Carteira bitcoin para doações: 34qMUMcvHbGc7ztcTKSWCuQvtxhjVN2hGJ
Usuário no PicPay para doações: nicholas_ferreira

Livros que recomendo para iniciantes em lógica:

Introdução à Lógica (Cezar Mortari) 2ª edição: https://amzn.to/2yEzxTT
Introdução à Lógica (Cezar Mortari) 1ª edição: https://amzn.to/2x53dsK
Introdução à Lógica (Harry Gensler): https://amzn.to/3bXKtdz
Introdução à Lógica (Irving Copi): https://amzn.to/2wcJOWe