Uma equivalente lógica para a proposição – Se Marta é ca...

Equivalência do ''se, então'' para o ''ou

Nega a primeira, coloca ''ou'' e mantém a segunda

Em termos lógicos:

Antes era: A?B

Aplicando a equivalência do ''ou'', fica: ~A ou B

vamo que vamo

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):

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

P>Q = ~P V Q