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.