A linguagem da lógica de predicados.

8 Novembro 2018, 18:00 • Ricardo Santos

Insuficiências da lógica proposicional. Necessidade de uma análise lógica da estrutura interna das proposições atómicas. Nomes próprios e predicados. A noção lógica de nome próprio: expressão que refere um e um só objecto. A noção lógica de predicado: aquilo que fica de uma frase declarativa completa quando se lhe retira uma ou mais ocorrências de nomes. A noção de aplicação ou de ser-verdadeiro-de. Predicados simples e complexos. Predicados de um lugar, de dois lugares e, em geral, de n lugares. Pares e triplos ordenados de objectos. Letras esquemáticas de nome e de predicado. A convenção de escrever o predicado antes dos nomes. Composicionalidade: uma frase ‘Fa’ é verdadeira se e só se o predicado ‘F’ é verdadeiro do objecto que o nome ‘a’ refere.

A quantificação. ‘Todos’, ‘nenhum’ e ‘algum’ (no sentido de pelo menos um). Variáveis e quantificadores. Quantificador universal e quantificador existencial. Formalização de frases com a forma ‘Todo o F é G’, ‘Algum F é G’, ‘Nenhum F é G’ e ‘Algum F não é G’.