Question

(Lógica Matemática) Simbolize os argumentos abaixo, e mostre sua validade:

a) Se a lua gira em torno da terra e a terra gira em torno do sol, então Copérnico tinha razão. Se copérnico tinha razão, então Ptolomeu não tinha razão. A terra gira em torno do sol. Logo, se a lua gira em torno da terra, Ptolomeu não tinha razão.

Answer 1

Ok, sugiro consultar o dicionário de símbolos de lógica proposicional que estarei anexando

LGT = Lua gira em torno da terra

TGS = Terra gira em torno do sol

CR = Copérnico tinha razão

PR = Ptolomeu tinha razão

Lembrando que na lógica proposicional para uma conjunção ser verdade, segundo a tabela verdade é necessária que as duas proposições sejam verdadeiras

Ok, vamos lá

(LGT ^ TGS) -> CR -> ~PR

Logo

(LGT ^ TGS) -> ~PR

[Se a lua gira em torno da terra e a terra gira em torno do sol, Ptolomeu não tem razão]

Dado que TGS é verdade, basta que LGT seja verdade para que Ptolomeu esteja errado:

LGT -> ~PR

Espero ter ajudado