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.