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)

 

 

 

 

Sujeito brasil

 De Quatorze na espora

Lá do fundo do meu pensamento

Eu bebo água na fonte ancestral

Lavo os corpos de todo este mal

Com a grota brotou o sentimento

Tem segredos levados pelo vento

Vou ao fundo da água encantada

O riacho com a chuva acumulada

Enche de água todas as bacias

Os fiéis seguem as suas romarias

Os ladrões nasceram para roubar

Quem é que vai conseguir provar

Que a humanidade ainda tem jeito

Com as dívidas atoladas pelo peito

Só não venha inventar de me afanar.

 

(Cristiano Jerônimo – 22042022)