Lógica/Cálculo Proposicional Clássico/Operadores e Tabelas Veritativas
Resolução
1
"Não está chovendo".
C | ¬C |
V | F |
F | V |
2
"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
"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
"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
"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
"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
"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 |