Você está na página 1de 27

Clculo de Predicados

Prof. Marcone Sotro


marcone.sotero@pplt.joaquimnabuco.edu.br

Clculo de Predicados
A: Todos so mortais. B: Algum bondoso.

Utilizando a lgica proposicional, poderamos explicitar a diferena entres as sentenas acima?

Clculo de Predicados
Na lgica proposicional as duas sentenas so tratadas como unidades Elas no podem ser decompostas em sentenas menores ligadas pelos conectivos lgicos Por isso no conseguimos falar da diferena entre elas na lgica proposicional

Clculo de Predicados
Considere a premissa
Scrates humano.

Esse enunciado uma declarao de que determinado indivduo (Scrates) possui uma propriedade especfica ( humano). Na linguagem natural, o indivduo que possui a propriedade chamado sujeito, enquanto a propriedade descrita chamada predicado.

Clculo de Predicados
O predicado explicita certas qualidades que o sujeito possui e que permite inclu-lo em uma categoria
por exemplo, quando dizemos Scrates humano queremos dizer que o objeto chamado Scrates possui certas caractersticas que permitem inclu-lo no conceito que fazemos daquilo que chamamos humano.

Clculo de Predicados
Nesta nova linguagem teremos, alm dos conectivos do clculo proposicional e dos parnteses, os seguintes novos smbolos:
variveis: x,y,z,... as variveis representam objetos que no esto identificados no Universo considerado ("algum", "algo", etc.); constantes: a,b,c,... as constantes representam objetos identificados do Universo ("Joo", "o ponto A", etc. ); quantificadores: (universal), (existencial)

Quantificadores
Smbolo de quantificao universal; leia-se para todo, todo.
Smbolo de quantificao existencial; leia-se algum, existe.

Clculo de Predicados
Representamos o predicado por sua inicial maiscula, e o sujeito a seguir, entre parnteses; assim, Scrates humano fica representado por H (Scrates)

Exemplos "Maria inteligente": I(m) ; onde "m" est identificando Maria e "I" a propriedade de "ser inteligente". "Algum gosta de Maria": G(x,m) ; onde G representa a relao "gostar de" e "x" representa "algum".

Exemplos
A Terra redonda R(t) Simba um mamfero M(s) Quatro um nmero par N(q)

Exemplos
Todo nmero inteiro par divisvel por 2. Para qualquer x, se x for um nmero inteiro par, x divisvel por 2. Para qualquer x, (P(x) D(x))

Exemplos
Todo nmero inteiro par divisvel por 2 (x)(P(x) D(x)) Todo coala come folhas de eucalipto (x)(C(x) E(x))

Algum estudou aqui (x)(E(x))

Exemplos
Ele foi para o Alasca (x)(I(x)) Ningum estuda aqui (x)(~A(x))

Nem todo co manso (x)[C(x) (~(m(x)))]

Sentenas Abertas e Fechadas


O sujeito uma constante Ex.: Scrates humano, pode ser verdadeira ou falsa;

O sujeito uma varivel Ex.: Ele foi presidente do Brasil, ela no verdadeira nem falsa, dependendo de nome que assuma o lugar do pronome. Uma frase como essa no , portanto, um enunciado.

Sentenas Abertas e Fechadas


Os enunciados so chamados sentenas fechadas, enquanto que frases como:
x foi presidente do Brasil y escreveu Os Lusadas z viajou para os Estados Unidos

so chamadas sentenas abertas.

Sentenas Abertas e Fechadas


As sentenas abertas no so verdadeiras nem falsas; podemos dizer apenas que so satisfeitas para certos valores das variveis, e no satisfeitas para outros. A substituio das variveis de uma sentena aberta por constantes chama-se instanciao ou especificao; A instanciao transforma uma sentena aberta em um enunciado, e este sim, pode ser verdadeiro ou falso.

O Universo
O Universo de uma varivel o conjunto de valores que ela pode assumir.
O conjunto dos nmeros O conjunto dos nmeros naturais maiores que 5

Conjunto-Verdade
Chamase Conjunto-Verdade (VP) de uma sentena aberta P(x), o conjunto de elementos do Universo que, quando instanciam a varivel, satisfazem (tornam verdadeiro) o enunciado; ou seja VP = { a U | VL [ P (a) ] = V }
VL (Valor Lgico)

Conjunto-Verdade
Por exemplo, seja U = { 1, 2, 3, 4, 5, 6, 7 } e a expresso x primo representada por P(x).
Temos ento VP = { 2, 3, 5, 7 }.

O conjunto-verdade em N da sentena aberta x divisor de 10 :


VP = { x N | x divisor de 10} = {1, 2, 5, 10}

Proposio Universal Afirmativa


Tem a forma geral Todo S P e indica que todos os elementos da classe S esto contidos na classe P. Forma simblica:

x (S(x) P(x))

Proposio Universal Negativa


Tem a forma geral Nenhum S P e indica que as classes S e P no possuem elementos em comum. Forma simblica:

x (S(x) ~P(x))

Proposio Particular Afirmativa


Tem a forma geral Algum S P e indica que alguns membros da classe S tambm pertencem classe P. Forma simblica: x (S(x) ^ P(x))

Proposio Particular Negativa


Tem a forma geral Algum S no P e indica que existem elementos de S que no esto contidos em P. Forma simblica: x (S(x) ^ ~P(x))

Diagramas de Venn
Cada classe representada por um crculo, rotulado com o nome da classe; Para representar a proposio que afirma que a classe no possui elementos sombreamos o interior do crculo;

Para indicar que a classe possui pelo menos um elemento, inclumos um x no crculo.

Diagramas de Venn
Proposio Universal Afirmativa Todo S P Forma simblica: x (S(x) P(x))

Diagramas de Venn
Proposio Universal Negativa Nenhum S P Forma simblica: x (S(x) ~P(x))

Diagramas de Venn
Proposio Particular Afirmativa Algum S P Forma simblica: x (S(x) ^ P(x))

Diagramas de Venn
Proposio Particular Negativa Algum S no P Forma simblica: x (S(x) ^ ~P(x))