Lógica proposicional [5] - Prova lógica (3/3)

Server no Discord do canal:   / discord  
.
Neste vídeo, eu falo sobre o conceito de prova lógica, sua definição para os sistemas de dedução natural e alguns exemplos. Também falo sobre o conceito de consequência sintática, representado pelo símbolo da catraca (⊢).

A resposta dos exemplos dados no final estarão na descrição do próximo vídeo (Lógica proposicional [6]).


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