A quantificação com predicados diádicos

6 Novembro 2017, 18:00 • Ricardo Santos

Recapitulação dos aspectos essenciais da linguagem da lógica de predicados. Os predicados diádicos ou de dois lugares (que expressam relações, em vez de propriedades). As relações têm uma direcção (‘Rab’ é diferente de ‘Rba’) e podem ser reflexivas (caso em que temos ‘Raa’ e ‘Rbb’). A quantificação com predicados de dois lugares. A subordinação de quantificadores: diferença entre 'Para todo o x existe um y tal que' e 'Existe um y tal que para todo o x'.