Aula 07 - Cálculo de Predicado

Clculo de Predicados
Prof. Marcone Sotro

marcone.sotero@pplt.joaquimnabuco.edu.br
A: Todos so mortais. B: Algum bondoso.
Utilizando a lgica proposicional, poderamos explicitar a diferena entres as sentenas acima?
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
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.
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.
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.
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.

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.

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))

Aula 07 - Cálculo de Predicado

Enviado por

Direitos autorais:

Formatos disponíveis

Aula 07 - Cálculo de Predicado

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 07 - Cálculo de Predicado

Enviado por

Direitos autorais:

Formatos disponíveis

Clculo de Predicados

Prof. Marcone Sotro

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

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

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

Sentenas Abertas e Fechadas

Sentenas Abertas e Fechadas

so chamadas sentenas abertas.

Sentenas Abertas e Fechadas

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

Proposio Universal Afirmativa

Proposio Universal Negativa

Proposio Particular Afirmativa

Proposio Particular Negativa

Você também pode gostar