Questões sobre Proposições Equivalentes

Se não durmo, bebo. Se estou furioso, durmo. Se durmo, não estou furioso. Se não estou furioso, não bebo. Logo,

Sabendo-se que o símbolo ¬ denota negação e que o símbolo v denota o conector lógico ou, a fórmula A -> B, que é lida "se A então B", pode ser reescrita como:

Seja O um conjunto de objetos e P, Q, R, S propriedades sobre esses objetos. Sabendo-se que para todo objeto x em O:

pode-se concluir, para todo x em O, que:

Investigando uma fraude bancária, um famoso detetive colheu evidências que o convenceram da verdade das seguintes afirmações

1) Se Homero é culpado, então João é culpado.

2) Se Homero é inocente, então João ou Adolfo são culpados.

3) Se Adolfo é inocente, então João é inocente.

4) Se Adolfo é culpado, então Homero é culpado.

As evidências colhidas pelo famoso detetive indicam, portanto, que:

André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é culpado. Logo