Formalização na linguagem da lógica de predicados

13 Novembro 2018, 18:00 • Ricardo Santos

Exercícios de formalização na linguagem da lógica de predicados, com quantificação e predicados de um lugar. Exercícios de leitura de fórmulas e de ‘retroversão’. O quadrado da oposição (aristotélico) e as relações entre frases contraditórias.