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.