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

ResoluçãoEditar

1Editar

"Não está chovendo".

 

C ¬C
V F
F V

2Editar

"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


3Editar

"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

4Editar

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

 

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


5Editar

"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

6Editar

"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


7Editar

"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