Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas/Resolução dos Exercícios
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 |