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

Resolução

1

"Não está chovendo".

$\neg C$

C	¬C
V	F
F	V

2

"Russell desenvolveu a teoria das descrições e Gödel é matemático".

$A\land B$

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\lor \neg B$

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\to C$

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".

$\neg C\to \neg B$

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".

$\neg C\land \neg A$

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".

$\neg A\leftrightarrow C$

A	C	¬A	¬A↔C
V	V	F	F
V	F	F	V
F	V	V	V
F	F	V	F