Consequência e verdade lógica. O teorema da dedução.

31 Outubro 2017, 18:00 • Ricardo Santos

Consequência lógica e verdade lógica (ou tautologia). O teorema da dedução: se B é uma consequência de A, juntamente com um conjunto de outras fórmulas Г (possivelmente vazio), então a condicional A ® B é uma consequência de Г. Conexão com a regra da introdução da condicional. Mais exercícios de dedução natural. As leis de De Morgan. Como usar duas vezes a regra da eliminação da disjunção, uma no âmbito da outra.