Questão 341993: Uma dedução lógica é uma sequência finita de proposiçõ...
Uma dedução lógica é uma sequência finita de proposições na qual algumas proposições, denominadas premissas, são supostas verdadeiras, e as demais proposições, chamadas conclusões, são também ve...