Lógica de primeira ordem [13] - Formalização de primeira ordem (1/3) скачать в хорошем качестве

Lógica de primeira ordem [13] - Formalização de primeira ordem (1/3)

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