P. 1
Lógica de Primeira Ordem

Lógica de Primeira Ordem

|Views: 1.045|Likes:
Publicado porRodrigo Salinas

More info:

Published by: Rodrigo Salinas on May 03, 2011
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

03/16/2013

pdf

text

original

Ceunsp 1º Semestre Sistemas de Informação Trabalho de Lógica Matemática Rodrigo Alves Bravo Salinas. nº 36 RGM 084624 [LÓGICA DE PRIMEIRA ORDEM] O que é Lógica de Primeira Ordem. construção e interpretação de fórmulas usando símbolos lógicos. classes sintáticas. 2 . elementos.

................. 3 Classes sintáticas – Termos e fórmulas ................................................................................................Índice Introdução ................................................................................................ 5 Entendendo a lógica e a fórmula .................................... 7 Conclusão ...... 6 Lógica e fórmula na prática ................................................................................................................................................... 8 Bibliografia ................................................................ 4 Variáveis .. 4 Quantificadores ........................... 4 Elementos ................................................... 9 3 ............................................................................. 4 Constantes ................................................................................. 4 Predicados .....................................

A Lógica de Primeira Ordem é dotada de uma linguagem mais rica. sendo que a Lógica Proposicional não possui uma linguagem adequada para representar relações entre objetos e não permite identificar a repetição de certos elementos dentro de um mesmo texto. A Lógica Proposicional pressupõe que existem fatos que são válidos ou não-válidos no Universo enquanto a Lógica de Primeira Ordem pressupõe que o Universo consiste em objetos com certas relações entre eles que são válidas ou não-válidas. tem várias aplicações importantes não apenas para matemáticos e filósofos como também para estudantes de Ciência da Computação. o que cada linguagem pressupõe sobre a natureza da realidade.Introdução A Lógica de Primeira Ordem. isto é. também chamada de Lógica de Predicados. é estendida pela Lógica de Segunda Ordem e é um suplemento para a Lógica Proposicional. A principal diferença entre Lógica de Primeira Ordem é o compromisso ontológico. 4 .

. Exemplo: Alguém. Elementos Constantes Se referem a algum substantivo: uma pessoa. tais como constantes. algo. um lugar. etc.Classes sintáticas – Termos e fórmulas A Lógica de Primeira ordem é dividida em duas classes sintáticas: a dos termos e a das fórmulas. z” e são utilizadas para dar valor a algo não identificado no Universo. maçã.” para dar valor a uma constante e pode-se utilizar números na frente das letras. variáveis. etc. Predicados São propriedades ou relações. se necessário. 5 . 3. carro. etc. Pode-se utilizar números na frente das letras.. Japão. Também se utiliza para os números Exemplo: 1. Na classe sintática encontramos alguns elementos que a lógica proposicional não nos permite. para representar maior número de variáveis. c. se necessário. Exemplo: Paulo. um objeto. . Os termos denotam os vários objetos de discurso. Variáveis São representadas por letras minúsculas. Os predicados são geralmente representados pela letra inicial desta expressão. y. Tipicamente se identificam por meio de um verbo que empregamos a dizer algo de certo objeto. geralmente representadas pelas letras “x. As fórmulas denotam as asserções (fatos) sobre os termos. predicados e quantificadores. casa. etc. para representar maior número de variáveis. são aquelas expressões que dizemos algo de alguém ou de algum objeto e suas relações entre os mesmos. em outras palavras. 2. Pode ser representada por qualquer letra minúscula como “a. b.

Exemplos: Usaremos a e b para representar uma constante e a primeira letra do predicado maiúscula.. “qualquer que seja”. “existe um elemento tal que”. ∃ x(Fx) -> Para algum x. = La Pedro e Lucas brincaram hoje. árvore tem folhas. Quantificador Existencial:  (pronuncia-se “Existe.. árvores tem folhas. Fx --> Para alguma árvore. Exemplos: Unário Tem um único argumento: “José é um menino. = Ma” Binário Tem dois argumentos: “Clara é amiga de Ana. “para cada”. Fernanda é linda. “para qualquer”. Existe pelo menos um x tal que Fx --> Há pelo menos uma árvore tal que árvores tem folhas. “algo”.. Quantificador Universal:  (pronuncia-se “Para todo. árvore tem folhas. Exemplo: Algumas árvores tem folhas.”) Significado: “para todos”. 6 . Todas x. Há um x que é F --> Há uma árvore que tem folhas. “todos”. = Sabc” Quantificadores Representados por ∀ (universal) e ∃ (existencial). = Aab” Ternário Tem três argumentos: “Jonas está sentado entre Gabriel e Felipe. “para todo”. Exemplo: Toda árvore tem folhas. “existe um elemento”.”) Significado: “existe”. “alguma coisa”. = Bab Os predicados se classificam segundo os números de argumentos. Fx --> Quarquer que seja a árvore. ∀ x(Fx) -> Para qualquer x.. Fx --> Para qualquer árvore. Fx --> Todas árvores. “existe pelo menos um elemento”. “tudo”. Quaquer que seja x. árvore tem folhas.

... ∀ x brasileiro(x) → leal(x.. .Dilma) v odeia(x. z. a... Marcos vaiou a Dilma..y) → ~leal(x. . . c3. Dilma).. t2 .. 7 .. Marcos é um homem. c. x1. y. Marcos é brasileiro. ∧ ∀ (universal).Dilma) 5. . 2. {} as variáveis e as constantes são designadas pelo nome genérico de termos os quais serão designados por t1 .. tn . Dilma é presidente 4.. . Q. R. 6. . ∀ x y brasileiro(x) ^ presidente(y) ^ vaia(x.Entendendo a lógica e a fórmula Considere o seguinte conjunto de frases: 1. 5. S. brasileiro(Marcos) 3. b. y2. homen(Marcos) 2. P. vaia(Marcos.. b2... presidente(Dilma) 4. ∃ (existencial) () . . Os brasileiros vaiam presidentes a quem não sejam leais. Símbolos utilizados na Lógica de Primeira Ordem: Conectivos: Variáveis: Constantes: Símbolos de predicados: Quantificadores: Parênteses: Termos: ~ • → ↔ ∨ x. z3. 3. .y) 6. Estes fatos podem ser representados como um conjunto de FBF (Fórmula Bem Formulada): 1. Todos os brasileiros são leais a Dilma ou odeiam Dilma. a1. [] .

"Alguém gosta de Maria" : G(x. Todo amigo de Carlos é amigo de Jonas. Q. que existe no mínimo um objeto do Universo considerado que tem a propriedade P. 2. onde "m" está identificando Maria e "I" a propriedade de "ser inteligente".c) Onde P(x. De modo geral temos: P(x) : significa que x tem a propriedade P . ∀(x) (P(x) → Q(x)) (x) (R(x) ∧P(x)) ∃ (x) (R(x) ∧Q(x)) Onde P.c) → P(x. Logo.y) significa que x é amigo de y e c.Exemplos: "Maria é inteligente" : I(m) . ou ainda. R simbolizam as propriedades de: ser humano. que todos os objetos do Universo considerado tem a propriedade P. Pedro não é amigo de Jonas.j) ~ P(p. Lógica e fórmula na prática: 1. (∃ x)P(x): significa que algum x tem a propriedade P. Pedro e Jonas respectivamente. ser racional e ser animal respectivamente. Alguns animais são humanos. onde G representa a relação "gostar de" e "x" representa "alguém". ou ainda. Pedro não é amigo de Carlos. j são constantes que representam Carlos. alguns animais são racionais. .j)) ~ P(p. Portanto. Todos os humanos são racionais. (∀x)P(x): significa que a propriedade P vale para todo x.m) . p. ∀(x) (P(x.

"algo". 7 . ). Os quantificadores são representados pelos símbolos  e  que são utilizados para expressar “Para todo.”. respectivamente. As constantes representam objetos identificados no Universo ("Thiago". etc...Conclusão A Lógica de Primeira Ordem é mais elevada que a Lógica Proposicional e suplemento da mesma por possuir uma linguagem mais avançada tendo uso de variáveis. Os predicados representam propriedades ou relações entre os objetos do Universo. etc.. As variáveis representam objetos que não estão identificados no Universo considerado ("alguém". sobre um objeto do Universo. As fórmulas são representadas por símbolos que em sequência lógica expressam algo do Universo.” e “Existe. constantes e predicados. "o ponto A".)..

uenf.ppt Youtube – Lógica de predicados Texto .Bibliografia http://www.pucsp.com/pig/docview/v.lcmat.Lógica de Primeira Ordem – Carlos Bacelar Almeida 8 .br/page_attachments/0000/0136/AulaRevisao_IAUENF2010.br/~logica/CalculodePredicados.htm http://iblogbox.php?url=http %3A//www.

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->