Lgica de Predicados

Introduo
H vrios tipos de argumentos que no podem ser adequadamente formalizados em lgica proposicional. Como exemplo, considere o argumento a seguir: Scrates homem. Todo homem mortal Logo, Scrates mortal. Intuitivamente, podemos ver que esse argumento vlido. No entanto, usando a lgica proposicional, a formalizao desse argumento resulta em {p, q} |= r e no h como mostrar que a concluso r uma consequncia lgica das premissas p e q. Isso acontece porque a validade desse argumento depende do significado da palavra todo, que no pode ser expresso na lgica proposicional. De fato, para tratar argumentos desse tipo precisamos da lgica de predicados.

Sintaxe da lgica de predicados

Alm dos conectivos lgicos (, , e ), as frmulas bem-formadas da lgica de predicados so compostas por objetos, predicados, variveis e quanticadores. Objetos e predicados Na lgica de predicados, a noo de objeto usada num sentido bastante amplo. Objetos podem ser concretos (ex; o livro, a lua), abstratos (ex: o conjunto vazio, a paz), ou ctcios (ex: unicrnio, Saci Perer). Objetos podem ainda ser atmicos ou compostos (ex, um teclado composto de teclas). Em suma, um objeto pode ser qualquer coisa a respeito da qual precisamos dizer algo. Por conveno, nomes de objetos so escritos com inicial minscula e assumimos que nomes diferentes denotam objetos diferentes.

Figura - Blocos empilhados sobre uma mesa.

Um predicado denota uma relao entre objetos de um determinado contexto de discurso. Por exemplo, no contexto ilustrado Figura Blocos empilhados na mesa, podemos dizer que o bloco a est sobre o bloco b usando o predicado sobre e escrevendo sobre(a, b); para dizer que o bloco b azul, podemos usar o predicado cor e escrever cor(b, azul) e, para dizer que o bloco b maior que o bloco c, podemos usar o predicado maior e escrever maior(b, c). Por conveno, nomes de predicados so escritos com inicial minscula.

Variveis e quanticadores Grande parte da expressividade da lgica de predicados devida ao uso dos conectivos lgicos, que nos permitem formar sentenas complexas a partir de sentenas mais simples. Por exemplo, considerando o contexto da Figura, podemos dizer que o bloco a est sobre o bloco b e que este est sobre a mesa escrevendo:

sobre(a, b) sobre(b, mesa)

Entretanto, o que realmente torna a lgica de predicados mais expressiva que a lgica proposicional a noo de variveis e quanticadores: usando variveis, podemos estabelecer fatos a respeito de objetos de um determinado contexto de discurso, sem ter que nomear explicitamente esses objetos (por conveno, nomes de variveis so escritos com inicial maiscula); usando o quanticador universal (), podemos estabelecer fatos a respeito de todos os objetos de um contexto, sem termos que enumerar explicitamente todos eles; e, usando o quanticador existencial () podemos estabelecer a existncia de um objeto sem ter que identicar esse objeto explicitamente.

Por exemplo, considerando novamente o contexto da Figura dos blocos empilhados na mesa, podemos dizer que todo bloco est sobre alguma coisa (bloco ou mesa) escrevendo: X[bloco(X) Y [sobre(X, Y )]]

Semntica da lgica de predicados.

O signicado das frmulas na lgica de predicados depende da semntica dos conectivos e da interpretao de objetos e predicados . Uma interpretao na lgica de predicados consiste de: um conjunto D = , denominado domnio da interpretao; um mapeamento que associa cada objeto a um elemento xo em D; um mapeamento que associa cada predicado a uma relao em D.

O quanticador denota uma conjuno e o quanticador denota uma disjuno. Por exemplo, para D = {a, b, c}, a frmula X[colorido(X)] denota a conjuno colorido(a) colorido(b) colorido(c) e a frmula X[cor(X, azul)] denota a disjuno cor(a, azul) cor(b, azul) cor(c, azul). Alm disso, como ( ) ( ), fcil ver que X[cor(X, azul)] X[cor(X, azul)].e a De modo anlogo, conclumos que X[cor(X, roxo)] X[cor(X, roxo)].

Formalizao de argumentos
Usando a lgica de predicados, o argumento que apresentamos inicialmente. Scrates homem. Todo homem mortal Logo, Scrates mortal. pode ser formalizado como: { homem(socrates), X[homem(X) mortal(X)] } |= mortal(socrates) Enunciados categricos Para facilitar a formalizao de argumentos na lgica de predicados, destacamos quatro tipos de sentenas de especial interesse, denominadas enunciados categricos

Universal armativo: so enunciados da forma X[p(X) q(X)]. Em termos de conjuntos, um enunciado universal armativo estabelece que o conjunto p um subconjunto do conjunto q Por exemplo, a sentena Todos os homens so mortais pode ser traduzida como X[h(X) m(X)], ou seja, para todo X, se X p ento X m.

Universal negativo: so enunciados da forma X[p(X) q(X)]. Em termos de conjuntos, um enunciado universal negativo estabelece que os conjuntos p e q so disjuntos. Por exemplo, a sentena Nenhum homem extra-terrestre pode ser traduzida como X[h(X) e(X)], ou seja, para todo X, se X h ento X e.

Particular armativo: so enunciados da forma X[p(X) q(X)]. Em termos de conjuntos, um enunciado universal armativo estabelece que os conjuntos p e q tm uma interseo no-vazia Por exemplo, a sentena Alguns homens so cultos pode ser traduzida como X[h(X) c(X)], ou seja, existe X tal que X h e X c.

Particular negativo: so enunciados da forma X[p(X) q(X)]. Em termos de conjuntos, um enunciado universal negativo estabelece que existem elementos que esto no conjunto p mas no esto no conjunto q. Por exemplo, a sentena Alguns homens no so cultos pode ser traduzida como X[h(X) c(X)], ou seja, existe X tal que X h e X c.