Lógica proposicional [3] - Função interpretação e definição de verdade (2/3)
Автор: É Lógico, Pô
Загружено: 2019-11-27
Просмотров: 6691
Server no Discord do canal: / discord
Página no Facebook: https://fb.com/ELogicoPo
.
Neste vídeo, eu termino as tabelas verdade das fórmulas que mostrei no último vídeo e explico sobre a função interpretação, sua definição extensional, a relação entre ela e as tabelas verdade e dou a definição de verdade na lógica clássica.
00:00 - Correção do exercício anterior
04:56 - Função interpretação
06:27 - Definição intensional x extensional
09:14 - A definição da função interpretação
13:37 - A definição de verdade na lógica proposicional
16:14 - Considerações finais
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
#interpretação #definição #verdade
![Lógica proposicional [3] - Função interpretação e definição de verdade (2/3)](https://ricktube.ru/thumbnail/yl9_sWlIn18/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Lógica proposicional [3] - Tautologia, contradição e contingência (3/3)](https://ricktube.ru/thumbnail/hW5Fy2Wx7No/mqdefault.jpg)
![Lógica proposicional [3] - Fórmulas e tabelas verdade (1/3)](https://ricktube.ru/thumbnail/591t8Wpg2vI/mqdefault.jpg)
![Lógica clássica [1] - Introdução (3/3)](https://ricktube.ru/thumbnail/0AuQc98fYjc/mqdefault.jpg)
![Lógica de primeira ordem [9] - Quantificadores (2/2)](https://ricktube.ru/thumbnail/LICgEY7cVtM/mqdefault.jpg)
![Lógica proposicional [5] - Regras de inferência (1/3)](https://ricktube.ru/thumbnail/XF-A-lurPtM/mqdefault.jpg)
![Lógica proposicional [4] - Condições necessárias e/ou suficientes (2/4)](https://ricktube.ru/thumbnail/r7aW2PYlYwU/mqdefault.jpg)
![Lógica proposicional [2] - Implicação (5/7)](https://ricktube.ru/thumbnail/VODs7j36-ps/mqdefault.jpg)
![Lógica proposicional [6] - Consequência sintática e semântica (2/5)](https://ricktube.ru/thumbnail/A7tHlmTFWNs/mqdefault.jpg)
![Lógica proposicional [5] - Prova lógica (3/3)](https://ricktube.ru/thumbnail/cp5GK-lEZAw/mqdefault.jpg)
![Lógica proposicional [2] - Operadores verofuncionais (1/7)](https://ricktube.ru/thumbnail/QlFws27woHc/mqdefault.jpg)
