(UNESC) - QUESTÃO

Considere a seguinte proposição lógica: "Se João é servidor público, então ele tem direito a férias." Com base na proposição acima, assinale a alternativa que corresponde à sua negação:

Ⓐ João é servidor público e não tem direito a férias.

Ⓑ João é servidor público e tem direito a férias.

Ⓒ João é servidor público ou não tem direito a férias.

Ⓓ João não é servidor público e tem direito a férias.

Ⓔ João não é servidor público ou não tem direito a férias.

A proposição é do tipo condicional:

P → Q
onde

• P: “João é servidor público”

• Q: “João tem direito a férias”

Regra importante

A negação de uma implicação P → Q é logicamente equivalente a:

P ∧ ¬Q
(lê-se: P e não Q)

Aplicando ao caso

A negação de

“Se João é servidor público, então ele tem direito a férias”

é:

“João é servidor público e não tem direito a férias.”

Alternativa correta

A) João é servidor público e não tem direito a férias.