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).