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.