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

A questão pede equivalência da condicional.

É só você decorar a seguinte formula: P -> Q = ~Q -> ~P = ~P v Q

Com a formula acima decorada, é possível responder qualquer questão de equivalência da condicional (há outras formas de equivalência da condicional, mas a VUNESP não cobra).

Como a segunda hipotese da formula não está nas alternativas, é só ir direto no conectivo "v" (ou) e ser feliz!

Alternativa A

.: Fórmula de NeYMar :.

Ne: Nego a prmeira

Y: Ou (lembre-se do v)

Mar: Mantenho a segunda.

-

Gab. A -> Marta não é casada ou Dionísio é divorciado. 

Coisa de louco.

Obrigado pela ajuda galera.

Gabarito letra A

Existem duas formas de equivalências do se... então 

1ª Nega, nega, troca, troca (Mantém o conectivo, nega as duas premissas e troca de posição - o antecedente vai para o lugar do consequente e o consequente para o antecedente).

Ex : Se Marta é casada, então Dionísio é divorciado

Se Dionísio não é divorciado, então Marta não é casada

2ª Regra do NeyOUMar (nega o antecedente, troca o conectivo para o ou e mantém o consequente). 

Ex: Se Marta é casada, então Dionísio é divorciado

Marta é NÃO casada OU Dionísio é divorciado

Equivalências "Se... então":

1. Inverte e nega

Se A, então B

Se não B, então não A

2. Troca pelo "ou" e chama o Neymar pra jogar, ou seja, Nega a primeira e mantém a segunda:

Se A, então B

Não A ou B