Lógica proposicional [3] - Fórmulas e tabelas verdade (1/3)

Автор: É Lógico, Pô

Загружено: 2019-11-26

Просмотров: 11177

Описание:

Server no Discord do canal: / discord
Página no Face: http://fb.com/ELogicoPo

Neste vídeo, eu defino indutivamente a noção de fórmula e explico como construir tabelas verdade.

https://pensamentosesqueciveis.wordpr...

00:00 - Introdução
00:34 - O que é uma fórmula
01:30 - A definição recursiva de fórmula
05:13 - Aplicações da definição
09:49 - Tabelas de verdade
10:48 - Como construir uma tabela verdade
19:28 - Considerações finais

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

#tabela #verdade #formulas #conectivos #regra #formação

Lógica proposicional [3] - Fórmulas e tabelas verdade (1/3)

Доступные форматы для скачивания:

Скачать видео mp4

Информация по загрузке:

Скачать аудио mp3

Похожие видео

Lógica proposicional [3] - Função interpretação e definição de verdade (2/3)

Lógica proposicional [3] - Função interpretação e definição de verdade (2/3)

Lógica proposicional [4] - Formalização de sentenças (1/4)

Lógica proposicional [4] - Formalização de sentenças (1/4)

Tabela - Verdade

Tabela - Verdade

Lógica clássica [1] - Introdução (3/3)

Lógica clássica [1] - Introdução (3/3)

ESP32: распознавание речи нейросетью (TensorFlow Lite)

ESP32: распознавание речи нейросетью (TensorFlow Lite)

Lógica proposicional [3] - Tautologia, contradição e contingência (3/3)

Lógica proposicional [3] - Tautologia, contradição e contingência (3/3)

РАЗБОР НЕКОТОРЫХ ЗАДАЧ ИЗ ОЛИМПИАДЫ ЭЙЛЕРА, ПЕРВЫЙ ЗАОЧНЫЙ ЭТАП ОТБОРА!

РАЗБОР НЕКОТОРЫХ ЗАДАЧ ИЗ ОЛИМПИАДЫ ЭЙЛЕРА, ПЕРВЫЙ ЗАОЧНЫЙ ЭТАП ОТБОРА!

Aprenda de uma vez por todas a montar a Tabela Verdade - Prof Robson Liers - Mathematicamente

Aprenda de uma vez por todas a montar a Tabela Verdade - Prof Robson Liers - Mathematicamente

Lógica proposicional [4] - Condições necessárias e/ou suficientes (2/4)

Lógica proposicional [4] - Condições necessárias e/ou suficientes (2/4)

Lógica proposicional [2] - Implicação (5/7)

Lógica proposicional [2] - Implicação (5/7)

Introdução à Lógica – Silogismos

Introdução à Lógica – Silogismos

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)

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

Теренс Тао о том, как Григорий Перельман решил гипотезу Пуанкаре | Лекс Фридман

RLM - Lógica de Primeira Ordem (Lógica dos predicados) com Prof. Jeorge Lima

RLM - Lógica de Primeira Ordem (Lógica dos predicados) com Prof. Jeorge Lima

Lógica clássica [1] - Introdução (2/3)

Lógica clássica [1] - Introdução (2/3)

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

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

Cálculo Proposicional (Valor Lógico de uma proposição composta)

Cálculo Proposicional (Valor Lógico de uma proposição composta)

Lógica proposicional [2] - Operadores verofuncionais (1/7)

Lógica proposicional [2] - Operadores verofuncionais (1/7)

Electrons Don't Actually Orbit Like This

Electrons Don't Actually Orbit Like This

Introdução a tablôs semânticos para lógica clássica (1/?)

Introdução a tablôs semânticos para lógica clássica (1/?)