Sumários
A eliminação do quantificador existencial
27 Novembro 2017, 18:00 • Ricardo Santos
Dedução natural na lógica de predicados (continuação): a eliminação do quantificador existencial.
Aula a ser substituída
27 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Aula a ser substituída em dia a combinar com os alunos.
Dedução natural na lógica de predicados
23 Novembro 2017, 18:00 • Ricardo Santos
Dedução natural na lógica de predicados (continuação). A regra da introdução do quantificador universal. O raciocínio com “objectos arbitrários” como raciocínio generalizável.
Validade na lógica de predicados
21 Novembro 2017, 18:00 • Ricardo Santos
A demonstração da invalidade de formas argumentativas pela construção de contra-modelos (i.e., interpretações nas quais as premissas são verdadeiras, mas a conclusão é falsa). Regresso à dedução natural: as regras para os quantificadores. A introdução do quantificador existencial e a eliminação do quantificador universal.