Com relação a estruturas lógicas, lógica de argumentação e ...

Gabarito: Certo.

Temos argumentos hipotéticos nessa questão, pois trabalham com conectivos (Se...então, e, ou, etc.)

Temos duas regras para a equivalência nas condicionais (Se... então):

1) P →Q ► ~Q →~P “VOLTA NEGANDO TUDO.”

2) P →Q ► ~P v Q “NEGA A 1ª, MUDA PARA OU, COPIA A 2ª.”

Proposição oferecida pela questão: "Se Paulo está mentindo, então Maria não está mentindo." (P → ~Q)

Aplicando a 1ª regra mencionada acima, teremos:

"Se Maria está mentindo, então Paulo não está mentindo" (Q → ~P)

Nega tudo e inverte.

✅Certo.

As duas equivalências da CONDICIONAL (SE...ENTÃO):

1° Nega tudo, inverte e mantém o SE...ENTÃO. -------> Essa que foi utilizada na questão.

2° Nega a 1° proposição, mantém a 2° proposição e troca pelo "OU".

Fonte: Prof: Josimar Padilha, Gran Cursos. SIGAMOS APESAR DE TUDO!!✍☕ 

Minha contribuição.

Equivalência da condicional

1° Caso: A -> B (é equivalente a) ~B -> ~A

2° Caso: A -> B (é equivalente a) ~A v B

3° Caso: passar a mesma ideia, utilizando palavras diferentes.

Abraço!!!

GABARITO CERTO.

* Equivalência do SE então (P→ Q) ela é feita em quatro tipos.

1° P--- > Q = ~Q --- > ~P GABARITO

2° P --- > Q= ~P v Q

3° ~P --- > Q= P v Q