(IBEST) - QUESTÃO

Assinale a alternativa que apresenta uma proposição equivalente a “Se George é pontual, então Amanda é meticulosa”.

Ⓐ Se Amanda não é meticulosa, então George não é pontual.

Ⓑ Se Amanda é meticulosa, então George é pontual.

Ⓒ Se George não é pontual, então Amanda não é meticulosa.

Ⓓ Se George é pontual, então Amanda não é meticulosa.

Ⓔ Se Amanda é meticulosa, então George não é pontual.

A proposição dada é do tipo condicional:

• P → Q
  P: George é pontual
  Q: Amanda é meticulosa

A forma logicamente equivalente a uma condicional é a sua contrapositiva:

• ¬Q → ¬P
  “Se Amanda não é meticulosa, então George não é pontual.”

Comparando com as alternativas:

A) Se Amanda não é meticulosa, então George não é pontual.