Prefeitura Municipal de Manaus - Administrador - MOVENS (2010) Questão 11

A lógica é a “arte do bem pensar”, defendem algun autores. As fórmulas bem formadas da linguagem d lógica proposicional são construídas a partir de símbolos do alfabeto e de várias regras.

– Este animal é um coelho ou um cachorro.
– Não é um coelho.
– Logo, é um cachorro.
Acerca das proposições acima, assinale a opção correta.

  • A (p ∨ q ) ∧ ~ p ∴ q
  • B (p ∧ q ) ∧ ~ p ∴ q
  • C (p → q ) ∧ ~ p ∴ q
  • D (p → q ) ∧ ~ p ∴ q