A lógica das sentenças - Conectivos do raciocínio

 

Proposições lógicas. Tradução do poema para o raciocínio lógico matemático

Corro ou morro

Se corro não morro

Corro e morro

Morro.

 

Canto e não danço

Se danço, não morro

Danço e morro

Canto.

 

Apenas se cantar

Escuto e falo

Ouço ou canto

Escuto.

 

Fumo ou vivo

Poluição e morte

Se tem azar, tem sorte

Fumo.

 

Jogo ou bebo

Se beber então não jogo

Não bebo aos domingos

Não bebo.

 

C (v) v M (v)

C (v) → ~M (f)

C (v) ^ M (f)

M (v)

 

C (v) ^ ~D (v)

D (v) → ~M (f)

D (v) ^ M (v)

C (v)

 

 

C (v) ↔ E (v)

E (v) ^ F (v)

O (v) v C (v)

E(v)

 

F (v) v V (v)

P (v) ^ M (v)

A (v) → S (v)

F (v)

 

 

J (v) v B (f)

B (f) → ~J (f)

~B domingo (f)

~B (v)

 

(Cristiano Jerônimo – 23.04.2022 – Taubaté – SP)