Dizer que “João gosta de coxinha ou Maria não gosta de quib...

Jg = João joga.

Mg = Maria joga.

(Jg v ~Mg) ---negando--- (~Jg ^ Mg) ---negando--- (~Jg -> ~Mg) ---CONTRAPOSITIVA--- (Mg -> Jg)

Não entendi.

Mas a regra contra positiva não é de (se..então) para (se...então)?

Nesse caso não seria um silogismo disjuntivo de (ou) para (se..então)?

Também não entendi!

Gabarito Letra B

João gosta de coxinha ou Maria não gosta de quibe

Usando a regra do SENT/OU NEYMAR: Nega a primeira, mantém a segunda e troca o conectivo Ou pelo Se então

Logo ficaria = (~P) --> Q (Se João não gosta de coxinha, então Maria não gosta de quibe)

Entretanto, a banca quis complicar um pouquinho e transformou a equivalência do "Se...então" em uma contrapositiva, a partir da sentença encontrada. Assim, a proposição ficará: (~Q) --> P. Lembrando que na contrapositiva você inverte a ordem e nega tudo.

Resposta Final: Se Maria gosta de quibe, então João gosta de coxinha.

A equivalente de uma proposição P v Q é ~P -> Q

>> Assim, “João gosta de coxinha ou Maria não gosta de quibe" é equivalente a "Se João não gosta de coxinha, então Maria não gosta de quibe."

Além disso, sabemos que a equivalente de uma proposição P -> Q pode ser ~Q -> ~P (volta negando)

>> Dessa forma, "Se João não gosta de coxinha, então Maria não gosta de quibe." é equivalente a "Se Maria gosta de quibe, então João gosta de coxinha".

A resposta, no fim das contas, é a equivalente da equivalente :)

Resposta: letra B - Se Maria gosta de quibe, então João gosta de coxinha.