AULA 19

23 Novembro 2018, 09:30 • Fernando Ferreira

Fórmulas atómicas. Quantificadores existenciais e universais. Alcance dos quantificadores. Variáveis mudas e variáveis livres. Satisfação (de Tarski), muito informalmente. Exemplos de fórmulas e sentenças com quantificadores. Exemplos do valor de verdade de sentenças num determinado mundo.