Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas/Resolução dos Exercícios
Resolução[editar | editar código-fonte]
1[editar | editar código-fonte]
"Não está chovendo".
| C | ¬C |
| V | F |
| F | V |
2[editar | editar código-fonte]
"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 | editar código-fonte]
"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 | editar código-fonte]
"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 | editar código-fonte]
"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 | editar código-fonte]
"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 | editar código-fonte]
"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 |