Lógica proposicional [5] - Regras de inferência (1/3)

Server no Discord do canal:   / discord  
Página no Facebook: https://fb.com/ELogicoPo

Neste vídeo eu apresento algumas regras de inferência da lógica proposicional. Falo sobre dois tipos de regras para cada operador: uma para introduzir e outra para eliminar.
*Algo que esqueci de mencionar é que a regra da dupla negação serve tanto para a inclusão da negação quanto para sua eliminação. Ou seja, de ¬¬φ pode-se inferir φ, e de φ pode-se inferir ¬¬φ.
*Também esqueci de apresentar a regra de introdução do bicondicional, então aqui está ela: se tivermos φ→ψ e ψ→φ, podemos inferir φ↔ψ.

Para ver a resolução do exemplo do vídeo anterior, veja este vídeo:    • [RESPOSTA] Lógica proposicional [4] -...  

(Este vídeo está com muitos cortes porque passou de 30 min e eu tive que encurtar algumas partes)

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
Meu 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

#regras #inferência #lógica