Sumários
A eliminação do quantificador existencial
27 Novembro 2018, 18:00 • Ricardo Santos
Dedução natural na lógica de predicados (continuação): a eliminação do quantificador existencial.
Dedução natural na lógica de predicados
26 Novembro 2018, 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
22 Novembro 2018, 18:00 • Ricardo Santos
Correcção do exercício escrito. Demonstração da invalidade de formas argumentativas pela construção de contra-modelos.
Regresso à dedução natural: as regras para os quantificadores. A introdução do quantificador existencial e a eliminação do quantificador universal.
Interpretações e contramodelos na lógica de predicados
19 Novembro 2018, 18:00 • Ricardo Santos
Avaliação de fórmulas complexas em interpretações dadas. As noções de verdade-numa-interpretação e falsidade-numa-interpretação. Construção de interpretações para fórmulas dadas. 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).