Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas/Resolução dos Exercícios
Resolução editar
1 editar
"Não está chovendo".
| C | ¬C |
| V | F |
| F | V |
2 editar
"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 |
3 editar
"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 |
4 editar
"Se Gödel é matemático, então está chovendo".
| B | C | B→C |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
5 editar
"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 |
6 editar
"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 |
7 editar
"Russell não desenvolveu a teoria das descrições se e somente se está chovendo".
| A | C | ¬A | ¬A↔C |
| V | V | F | F |
| V | F | F | V |
| F | V | V | V |
| F | F | V | F |