A lógica é a “arte do bem pensar”, defendem alguns autores. As fórmulas bem formadas da linguagem da 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.