Lógica de primeira ordem [13] - Formalização de primeira ordem (1/3)
Автор: É Lógico, Pô
Загружено: 2020-01-16
Просмотров: 8036
Описание:
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://imager.clipsaver.ru/--mHO8AzXBo/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Lógica de primeira ordem [13] - Quantificação múltipla (2/3)](https://imager.clipsaver.ru/752W0lTOar8/max.jpg)
![Lógica de primeira ordem [13] - Regras de inferência para quantificadores (3/3)](https://imager.clipsaver.ru/nWJeSr36XR0/max.jpg)
![Lógica de primeira ordem [9] - Predicados e relações (1/2)](https://imager.clipsaver.ru/gMpi4HO2cnY/max.jpg)
![Lógica de primeira ordem [9] - Quantificadores (2/2)](https://imager.clipsaver.ru/LICgEY7cVtM/max.jpg)
![Lógica modal [1] - Introdução](https://imager.clipsaver.ru/cr7zBL8bT0w/max.jpg)
![Lógica clássica [1] - Introdução (3/3)](https://imager.clipsaver.ru/0AuQc98fYjc/max.jpg)