Testes de validade por construção de interpretações

16 Outubro 2018, 18:00 • Ricardo Santos

Testar a validade de formas argumentativas construindo interpretações e averiguando se existe algum contramodelo. Resolução de exercícios. Dois casos especiais: argumentos com conclusão tautológica e argumentos com premissas contraditórias ou inconsistentes. Formalização de argumentos dados na linguagem natural e teste da sua validade.