Lógica de primeira ordem [13] - Formalização de primeira ordem (1/3)
Автор: É Lógico, Pô
Загружено: 2020-01-16
Просмотров: 7952
Server no Discord do canal: / discord
Neste vídeo, eu falo sobre a formalização de sentenças em lógica de primeira ordem. Como no vídeo de lógica proposicional, eu apresento alguns exemplos e faço comentários pertinentes. Também falei, no começo, brevemente sobre o dia mundial da lógica (14/01).
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
![Lógica de primeira ordem [13] - Formalização de primeira ordem (1/3)](https://ricktube.ru/thumbnail/--mHO8AzXBo/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Lógica de primeira ordem [13] - Quantificação múltipla (2/3)](https://ricktube.ru/thumbnail/752W0lTOar8/mqdefault.jpg)
![Lógica proposicional [4] - Formalização de sentenças (1/4)](https://ricktube.ru/thumbnail/ckQKJ2zRpEI/mqdefault.jpg)
![Lógica de primeira ordem [11] - Semântica (1/2)](https://ricktube.ru/thumbnail/rBbVmyufduk/mqdefault.jpg)
![Lógica clássica [1] - Introdução (3/3)](https://ricktube.ru/thumbnail/0AuQc98fYjc/mqdefault.jpg)
![Lógica de primeira ordem [10] - Regras sintáticas](https://ricktube.ru/thumbnail/cB1xh__aC9w/mqdefault.jpg)
![Lógica de primeira ordem [9] - Quantificadores (2/2)](https://ricktube.ru/thumbnail/LICgEY7cVtM/mqdefault.jpg)
![Lógica de primeira ordem [13] - Regras de inferência para quantificadores (3/3)](https://ricktube.ru/thumbnail/nWJeSr36XR0/mqdefault.jpg)
![Lógica de primeira ordem [11] - Definição de verdade (2/2)](https://ricktube.ru/thumbnail/CFXcz4GXE48/mqdefault.jpg)
![Lógica proposicional [4] - Formalização de argumentos (4/4)](https://ricktube.ru/thumbnail/PnAyaRahnFY/mqdefault.jpg)
