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.