Considere a proposição “Se toco flauta, então toco trombone...

Equivalências da condicional

A maior parte das equivalências envolvem a proposição P -> Q, chamada de condicional na qual P e Q são, respectivamente, o antecedente e o consequente. Nomes a parte, a primeira equivalência diz respeito à transformação da condicional em uma disjunção:

Para confirmar, basta lembrar da tabela-verdade de P -> Q e construir a de ~P ou Q. Para a primeira, lembra que é falsa em apenas uma ocasião (P é verdadeira e Q falsa):

P            Q           ~P          ~P v Q  P -> Q

V            V            F             V            V

V            F            F             F            F

F            V            V            V            V

F            F            V            V            V

Ou seja, a equivalência é obtida a partir da disjunção entre a negação do antecedente (~P) e o consequente (Q).

MACETE

NEYMAR

NEGA A PRIMEIRA MANTEM A SEGUNDA TROCANDO O SE ENTÃO PELO OU.

Mais 1

PM-DF 2023 ☠️

NEYMITO

gab C

“Se toco flauta, então toco trombone” proposição logicamente equivalente.

Não toco flauta ou toco trombone.

------------------

NEYMAR

NEGA A PRIMEIRA MANTEM A SEGUNDA TROCANDO O SE ENTÃO PELO OU.