AULA 25
16 Dezembro 2016, 09:30 • Fernando Ferreira
A regra GenCond (método de demosntração condicional geral). Comparação com a junção das regras AIntro (generalização universal) e -->Intro (método da demonstração condicional). Alguns exemplos de deduções formais com quantificadores no sistema de Fitch. Resolução do exercício 148(5). Discussão duma falácia.
Noções informais em lógica (verdade lógica, consequência lógica, possibilidade lógica) e correspondentes noções matematizadas no cálculo proposicional (tautologia, tt-consequência, tt-satisfazível) e na lógica de primeira-ordem (validade FO, consequência FO e consistência FO).