Dedução natural para a lógica proposicional: regras para a conjunção e para a condicional.

23 Outubro 2018, 18:00 • Ricardo Santos

O método da dedução natural para a lógica proposicional. As primeiras regras: regras de eliminação e de introdução para a conjunção e para a condicional. O formato de elaboração das demonstrações: linhas numeradas, com justificação de cada linha e indicação das dependências últimas. O uso de suposições numa demonstração. Descartar uma suposição por meio da introdução de uma condicional.