next up previous
Next: Linguagem Formal do Cálculo Up: Cálculo de Predicados Previous: Cálculo de Predicados

Termos e Predicados

Um predicado n-ário (ou relação n-ária) é um conjunto de n-uplos.

Se tex2html_wrap2424 o domínio de um predicado n-ário tex2html_wrap1193 é o conjunto dos tex2html_wrap2426 -uplos tex2html_wrap2427 tais que para algum tex2html_wrap2428 se tem tex2html_wrap2429 .

tex2html_wrap1464 é uma função de n variáveis se tex2html_wrap1464 é uma relação tex2html_wrap2432 -ária tal que, para qualquer elemento do domíno de tex2html_wrap1464 , tex2html_wrap2434 , existe um único tex2html_wrap2428 verificando tex2html_wrap2436 . Escreve-se tex2html_wrap2437 .

O quantificador universal, tex2html_wrap2438 traduz "para todos", "para cada", "para qualquer", ...

O quantificador existêncial, tex2html_wrap2439 , traduz "existe", "existe um elemento", "existe pelo menos um elemento", ...



Jorge Nuno Silva (Dep. Mat. FCUL)
Wed Jun 4 19:06:16 MET DST 1997