Saltar para o conteúdo

Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas/Resolução dos Exercícios

Origem: Wikilivros, livros abertos por um mundo aberto.

"Não está chovendo".

C ¬C
V F
F V

"Russell desenvolveu a teoria das descrições e Gödel é matemático".

A B A∧B
V V V
V F F
F V F
F F F


"Russell desenvolveu a teoria das descrições ou Gödel não é matemático".

A B ¬B A∨¬B
V V F V
V F V V
F V F F
F F V V

"Se Gödel é matemático, então está chovendo".

B C BC
V V V
V F F
F V V
F F V


"Se não está chovendo, então Gödel não é matemático".

C B ¬C ¬B ¬C¬B
V V F F V
V F F V V
F V V F F
F F V V V

"Nem está chovendo, nem Russell desenvolveu a teoria das descrições".


C A ¬C ¬A ¬C¬A
V V F F F
V F F V F
F V V F F
F F V V V


"Russell não desenvolveu a teoria das descrições se e somente se está chovendo".

A C ¬A ¬AC
V V F F
V F F V
F V V V
F F V F