5 - Conhecimento e Raciocínio - Lógica I

CAP. 4 CAP.
4
Conhecimento e Raciocnio Conhecimento e Raciocnio
Lgica Lgica
Parte I
Agenda
Introduo
Conceitos
Lgica Proposicional
Lgica de Primeira Ordem
24-06-2011 Universidade Catlica de Angola - Faculdade de Engenharia 2
Introduo
A lgica (do grego clssico logos, que significa palavra,
pensamento, ideia, argumento, relato, razo lgica ou princpio
lgico), uma cincia de ndole matemtica e fortemente ligada
Filosofia; Forma de representao de conhecimento mais usada ao
nvel de computao.
Sendo que o pensamento a manifestao do conhecimento e
que o conhecimento busca a verdade, preciso estabelecer
algumas regras para que essa meta possa ser atingida.
Assim, a lgica o ramo da filosofia que cuida das regras do bem
pensar.
O principal organizador da lgica clssica foi Aristteles,
com sua obra chamada Organon.
Dois dos princpios centrais da lgica aristotlica so a
lei da no-contradio e a lei do terceiro excludo.
A lei da no-contradio diz que nenhuma afirmao pode ser
verdadeira e falsa ao mesmo tempo;
A lei do terceiro excludo diz que qualquer afirmao da forma
P ou no-P verdadeira (Ateno: deve ser distinguido do
princpio de bivalncia*, segundo o qual para toda proposio
(p), ela ou a sua negao verdadeira).
Introduo
Conceitos
Lgica:
um formalismo matemtico atravs do qual podemos
abstrair a estrutura de um argumento, eliminado a
ambiguidade existente na linguagem natural.
Esse formalismo composto por uma linguagem formal,
constituda por:
A. sintaxe da linguagem, que descreve como fazer
frases, e
B. semntica da linguagem, que estabelece as
restries sistemticas sobre como as sentenas se
relacionam com estados de coisas;
e pela Prova de Teoria.
Prova de Teoria :
Consiste num conjunto de regras de inferncia que nos
permitem analisar um argumento de forma precisa e
decidir a sua validade para deduzir as vinculaes de
um conjunto de frases.
Argumento:
Informalmente, um argumento e uma sequncia de
premissas seguida de uma concluso.
Conceitos
Exemplo de argumento:
um argumento e vlido quando sua concluso
uma consequncia necessria de suas premissas.
Sempre que chove, o transito fica congestionado.
Esta chovendo muito.
Logo, o trnsito deve estar congestionado.
Conceitos
Conceitos
Todo homem mortal
Scrates um homem
Logo, Scrates mortal
Todo co late
Tot um co
Logo, Tot late
Estrutura geral: Todo X Y. Z X. Portanto, Z Y.
Estes argumentos so vlido; pois suas concluses
so uma consequncia necessria de suas
premissas.
Proposio:
uma declarao afirmativa qual se pode associar
um valor verdadeiro ou falso, mas no ambos.
Por exemplo, O Brasil fica na Amrica uma
proposio verdadeira, enquanto A lua de queijo"
uma proposio falsa.
A proposio o elemento bsico a partir do qual os
argumentos so construdos, sendo tambm o principal
objecto de estudo na lgica proposicional.
Conceitos
Conceitos: Tipos de Lgicas
Lgica Proposicional: (ou Clculo Proposicional) formada de
declaraes, ou proposies, e conectivos que relacionam essas
proposies.
Lgica de Predicados: lgica que representa a estrutura de sentenas
usando conectivos como: alguns, todos e nenhum
Lgica Multivalorada: estende os tradicionais valores verdadeiro/falso
para incluir outros valores como possvel ou um nmero infinito de "graus
de verdade, representados, por exemplo, por um nmero real entre 0 e 1
Lgica Modal: o estudo do comportamento dedutivo de expresses como:
necessrio que e possvel que
Lgica Temporal: descreve qualquer sistema de regras e smbolos para
representar e raciocinar sobre proposies qualificadas em termos do
tempo
Lgica Paraconsistente: lgica especializada no tratamento de bases de
dados que contenham inconsistncias
Lgica Proposicional (LP)
A LP ou clculo Proposicional uma lgica que permite
representar e manipular frases declarativas (ou
proposies) que podem ser verdadeiras (V) ou falsa
(F).
As Proposies so representadas por letras
maisculas.
Ex: P O Ernesto professor
Q A neve branca
R Ele est doente
Estas podem ser verdadeiras ou falsas.
A LP ou clculo Proposicional uma lgica que permite
representar e manipular frases declarativas (ou
proposies) que podem ser verdadeiras (V) ou falsa
(F).
As Proposies so representadas por letras
maisculas.
Ex: P O Ernesto professor
Q A neve branca
R Ele est doente
Estas podem ser verdadeiras ou falsas.
Formulas bem Formadas (fbf):
So proposies formalmente correctas.
Elas obedecem a um conjunto de regras que podem
ser definidas pela seguinte gramtica:
<fbf> ::= <f_atmica> | <f_composta>
<f_atmica> ::= verdadeiro | falso | P|Q|R
<f_composta> ::= (<fbf>) | (<fbf> <operador> <fbf>) | ( <fbf>)
<operador> ::=
Derivao:
Processo utilizado para gerar fbf.
Exemplo1: derivemos a constante verdadeiro.
<fbf>
<f_atmico>
verdadeiro
verdadeiro uma fbf
Exemplo2: derivemos (P V ( Q))
<fbf>
<f_composta>
(<fbf> <operador> <fbf>)
(<f_atmica> <operador> <fbf>)
(P <operador> <fbf>) (P V <fbf>)
(P V <f_composta>)
(P V ( <fbf>))
(P V ( <f_atmica>))
(P V ( Q))
Smbolos Terminais (T) e no Terminais (N):
Os smbolos no terminais da gramtica so:
N = {<fbf>, <f_atmica>, <f_composta>, <operador>}
Os smbolos terminais da gramtica so:
T = {verdadeiro, falso, (, ), , P,Q, R }
Onde: verdadeiro e falso so constantes
P,Q, R variveis proposicionais
( ) so sinais
os restantes so operadores lgicos
Em Lgica os smbolos representam conhecimento e os
operadores so aplicados aos smbolos para dar origem a
raciocnios lgicos.
Operador Smbolos
Conjuno ( ND)
, 8, , .
Disjuno (O )
v, , +
Negao (NOT)
, ~
Implicao
,
quivalncia

Tabela de Verdade da Conjuno Tabela de Verdade da Negao
A B
C = A B
F F F
F V F
V F F
V V V

A
A
F F F
F
F

Tabela de Verdade da Disjuno Tabela de Verdade da Equivalncia
A
A
F
F

A
A
F F
F F
F F

A
A
F F
F
F F

Tabela de Verdade da Implicao AlB | A B
Exemplo
SE a bateria est em baixo
ENTO o carro no vai arrancar
Algumas Equivalncias na Lgica Proposicional

Nome da ropriedade

Equivalncia
Idempotncia
B v B
F
v
ropriedade Comutativa
B B
v B B v
ropriedade Distributiva
(B v C) ( B) v ( C)
v (B C) ( v B) ( v C)
ropriedade ssociativa
(B C) ( B) C
v (B v C) ( v B) v C
bsoro
v ( B)
( v B)
DeMorgan
( B) v B
( v B) B

Semntica:
Considerando as proposies SS O sol est brilhando e C
Est chovendo tem-se:
Semntica:
Representao da tabela da verdade para as proposies S
e C.
A tabela da verdade enumera todas as possveis
combinaes das proposies com os conectivos.
A precedncia de resoluo dos smbolos so:
Regras de inferncia para PL:
Formalizao de argumentos:
Podemos usar a lgica proposicional para
formalizar um argumento.
No processo de formalizao, devemos
reconhecer as proposies e conectivos que
compem o argumento, de modo que possamos
expressa-lo usando formulas fbf.
Como exemplo, vamos formalizar o seguinte
argumento
Exemplo de formalizao de argumentos:
(1) Se a equipa joga bem, ganha o campeonato.
(2) Se a equipa no joga bem, o tcnico culpado.
(3) Se a equipa ganha o campeonato, os torcedores ficam
contentes.
(4) Os torcedores no esto contentes.
(5) Logo, o tcnico culpado.
1: Associar a cada proposio um smbolo
proposicional distinto:
P : a equipa joga bem
Q : a equipa ganha o campeonato
R : o tcnico culpado
S : os torcedores ficam contentes
2: escrevemos as formulas correspondentes as
frases do argumento:
(1) P Q
(2) P R
(3) Q S
(4) S
(5) R
3: Representar o argumento:
{P Q, P R, Q S, S} R
Exerccios
Exerccio 1 Usando logica proposicional, formalize as
sentencas a seguir:
1. Se Ana alta e magra, ento ela elegante.
2. Se Beto rico, ento ele no precisa de emprstimos.
3. Se Caio ama a natureza, ento ele ama as plantas e
os animais.
4. Se Denis jogar na lotaria, ento ele ficar rico ou
desiludido.
5. Se faz frio ou chove, ento Eva fica em casa e v TV.

5 - Conhecimento e Raciocínio - Lógica I

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

5 - Conhecimento e Raciocínio - Lógica I

Încărcat de

Drepturi de autor:

Formate disponibile

CAP. 4 CAP.

S-ar putea să vă placă și