Lógica Aplicada A Computação - Cálculo Proposicional - Parte VIII

CCAE
Lgica Aplicada a Computao - Clculo Proposicional - Parte VIII

Estes slides foram criados pelo Professor Alexandre Duarte! Para comunicao nesta disciplina de lgica 2010-2! contate o Professor Rafael Magalhes em rafael@dce.ufpb.br!
Centro de Cincias Aplicada s e Educao
UFPB - Campus IV - Litoral Norte
Slides baseados no material do curso de Lgica Matemtica gentilmente cedido pelo Prof. Roberto Capistrano
1
sbado, 28 de maio de 2011
Contedo
Argumentos e Regras de Inferncia Denio de Argumento Validade de um Argumento Critrio de Validade Condicional Associada a um Argumento Argumentos Vlidos Fundamentais Regras de Inferncia Validade mediante Tabelas-Verdade Validade mediante Regras de Inferncia
Prof. Alexandre Duarte - www.alexandrend.com - Centro de Cincias Aplicadas e Educao - CCAE/UFPB - Campus IV Litoral Norte 2
Denio de Argumento
Sejam P1, P2, ..., Pn (n 1 ) e Q proposies quaisquer. Argumento toda armao de que uma dada sequncia nita P1, P2, ..., Pn de proposies tem como consequncia ou acarreta a uma proposio nal Q. As proposies P1, P2, ..., Pn so as premissas do argumento A proposio nal Q a concluso do argumento Notao: P1, P2, ..., Pn
P1, P2, ..., Pn acarretam Q, Q decorre de P1, P2, ..., Pn , Q se deduz de P1, P2, ..., Pn , Q se infere de P1, P2, ..., Pn
Argumento
"Meu cliente canhoto, mas o dirio no desapareceu, ento meu cliente no canhoto; portanto, o dirio desapareceu. Seria o argumento acima um argumento vlido? Existem apenas duas proposies envolvidas aqui, que simbolizaremos como: C: Meu cliente canhoto. D: O dirio desapareceu. O argumento portanto: (C (D C)) D
Prof. Alexandre Duarte - www.alexandrend.com - Centro de Cincias Aplicadas e Educao - CCAE/UFPB - Campus IV Litoral Norte
Argumento
A validade do argumento estabelecida pela seguinte prova:
(1) C (2) D C (3) C D (4) D
P P (2) D C C D (1,3) Modus ponens

(p q) p q
Denio de Silogismo
Silogismo um argumento de consiste de 2 premissas e uma concluso: P1, P2
Validade de um Argumento
Um argumento P1, P2, ..., Pn
Q diz-se vlido se e somente se:
Q verdadeira todas as vezes que as premissas P1, P2, ..., Pn so verdadeiras Um argumento no-valido um sosma Assim, todo argumento tem um valor lgico: V: se Vlido (correto) F: se um sosma (incorreto)
Critrio de Validade de um Argumento

Teorema: Um argumento P1, P2, ..., Pn
Q vlido se e somente se:
( P1 P2 ... Pn ) Q for uma tautologia Exemplo: Do argumento vlido p (p r)
p q segue-se a validade dos argumentos:
(p r)
(s r)
pois ambos tm a mesma forma!
Critrio de Validade de um Argumento

A validade ou no-validade de um argumento depende apenas da sua forma! No depende de seu contedo ou da verdade e falsidade de suas proposies
Condicional associada a um argumento

Do teorema anterior, um argumento P1, P2, ..., Pn se: ( P1 P2 ... Pn ) Q for uma tautologia
Q vlido se e somente
Reciprocamente, toda condicional corresponde um argumento cujas premissas so as diferentes proposies cuja conjuno formam o antecedente e cuja concluso o conseqente. ((p q) (p r) (q s)) (r s)
p q, p r, q s
(r s)
10
10
Argumentos Vlidos Fundamentais

So argumentos vlidos bsicos: Adio (AD): ppq e p qp
Simplicao (SIMP) pq
pq
11
11

So argumentos vlidos bsicos: Conjuno (CONJ): p,q
pq
p,q
qp
Absoro (ABS) pq
p (p q)
12
12

So argumentos vlidos bsicos: Modus ponens (MP): p q, p
Modus tollens (MT) p q, q
13
13

So argumentos vlidos bsicos: Silogismo Disjuntivo (SD): p q, p
p q, q
Silogismo Hipottico (SH) p q, q r
pr
14
14

So argumentos vlidos bsicos: Dilema Construtivo (DC): p q, r s, p r
qs
Dilema Destrutivo (DD): p q, r s, q v s
q v r
15
15
Regras de Inferncia
Os argumentos bsicos da lista anterior so usados para fazer inferncias Inferncia: executar os passos de uma deduo ou demonstrao Exemplo: Regra da Adio Dada um proposio p, dela pode-se deduzir a sua disjuno com qualquer outra proposio, isto , deduzir p q, p r, s p, t p, etc
16
16
Exemplo do uso de Regras de Inferncia

Usar a regra MT para reduzir a concluso do seguinte par de premissas (1) x 0 x + y y (2) x + y = y MT: p q, q
17
17
Exemplo do uso de Regras de Inferncia

Soluo: (1) x 0 x + y y (2) x + y = y p: x 0 p: x = 0 MT: p q, q
(1) x 0 x + y y (2) x + y = y (3) x = 0
P P
q: x + y y q: x + y = y
18
18
Validade Mediante Tabelas-Verdade

As tabelas-verdade podem ser usadas para demonstrar, vericar ou testar a validade de qualquer argumento. Dado um argumento: P1, P2, ..., Pn
Deve ser vericado se ou no possvel ter V(Q) = F quando V(P1) = V(P2) = ... = V(Pn) = V
19
19
Validade Mediante Tabelas-Verdade

Para tanto, existem 2 procedimentos: 1) Construir uma tabela-verdade com uma coluna para cada premissa e 1 coluna para concluso. Fazer a comparao entre as colunas e vericar a existncia de V para as premissas e F para a concluso 2) Construir a condicional associada ao argumento e vericar se esta condicional uma tautologia
20
20
Validade Mediante Tabelas-Verdade Exemplo

Testar a validade do argumento:
Se x = 0 e y = z, ento y > 1 y1 Portanto, y z
21
21
Validade Mediante Tabelas-Verdade Exemplo

Resoluo: p: x = 0 p q r, r q: y = z r: y > 1
q
Se x = 0 e y = z, ento y > 1 y1
(p q r) r q
Portanto, y z
22
22
Validade Mediante Tabelas-Verdade Exemplo (p q r) r q

p V V V V F F F F q V V F F V V F F r V F V F V F V F q F F V V F F V V r F V F V F V F V pq pq r V V V F F F F F F F V V V V V V (p q r) r F F F V F V F V (p q r) r q V V V V V F V V
23
23
Validade Mediante Tabelas-Verdade Exemplo (p q r) r q

p V V V V F F F F q V V F r V F q F F r F V pq pq r V V V F V V V V V V (p q r) r F F F V F V F V (p q r) r q V V V V V F V V
24
V F F No V tautologia! F Portanto, F F V V um V V sosma! F F F V F F F V F F V V V F V F F F
24
Validade Mediante Regras de Inferncia

Um mtodo mais eciente que as tabelas-verdade p/ demonstrar, vericar ou testar a validade de qualquer argumento consiste em deduzir a concluso mediante o uso das Regras de Inferncia
25
25
p q, p r q um argumento vlido?
(1) p q (2) p r (3) p (4) q P P (2) - SIMP (p q p) (1,3) - MP (p q, p q)
Concluso: O argumento vlido

26
p q, p r s p s um argumento vlido?
(1) p q (2) p r s (3) p (4) p r (5) s (6) p s P P (1) - SIMP (p q p) (3) - AD (p p q) (2,4) - MP (p q, p q) (3,5) - CONJ (p,q p q )
Concluso: O argumento vlido

27
Notao Clausal
Clusula: Disjuno de literais Fi = L1 L2 ... Ln Frmula na FNC: escrita como uma conjuno de clusulas F1 F2 ... Fn Exemplo: FNC ( ((p q) (p r)) s): ( (s q p) (s p r) (s q r))
{ { {
F1 F2 F3
28
28
Notao Clausal
A separao de literais positivos e negativos prepara a clusula para a notao denida por Kowalsky ( (s p q) (s p r) (s q r))
A1, A2, ..., Am B1, B2, ..., Bn Conjuno implcita direita de : (A1 A2 ... Am B1 B2 ... Bn)
{ { {
F1 F2 F3
29
29
Notao de Horn:
Se m > 1, as concluses so indenidas, ou seja, h vrias concluses Se m 1, tem-se as Clusulas de Horn As nicas clusulas que podem ser representadas em Prolog so as Clusulas de Horn
30
30

Lógica Aplicada A Computação - Cálculo Proposicional - Parte VIII

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Lógica Aplicada A Computação - Cálculo Proposicional - Parte VIII

Diunggah oleh

Hak Cipta:

Format Tersedia

CCAE

Lgica Aplicada a Computao - Clculo Proposicional - Parte VIII

Centro de Cincias Aplicada s e Educao

UFPB - Campus IV - Litoral Norte

sbado, 28 de maio de 2011

sbado, 28 de maio de 2011

sbado, 28 de maio de 2011

sbado, 28 de maio de 2011

(1) C (2) D C (3) C D (4) D

P P (2) D C C D (1,3) Modus ponens

sbado, 28 de maio de 2011

sbado, 28 de maio de 2011

Q diz-se vlido se e somente se:

sbado, 28 de maio de 2011

Critrio de Validade de um Argumento

Q vlido se e somente se:

( P1 P2 ... Pn ) Q for uma tautologia Exemplo: Do argumento vlido p (p r)

p q segue-se a validade dos argumentos:

pois ambos tm a mesma forma!

sbado, 28 de maio de 2011

Critrio de Validade de um Argumento

sbado, 28 de maio de 2011

Condicional associada a um argumento

sbado, 28 de maio de 2011

Argumentos Vlidos Fundamentais

sbado, 28 de maio de 2011

Argumentos Vlidos Fundamentais

sbado, 28 de maio de 2011

Argumentos Vlidos Fundamentais

Modus tollens (MT) p q, q

sbado, 28 de maio de 2011

Argumentos Vlidos Fundamentais

Silogismo Hipottico (SH) p q, q r

sbado, 28 de maio de 2011

Argumentos Vlidos Fundamentais

Dilema Destrutivo (DD): p q, r s, q v s

sbado, 28 de maio de 2011

sbado, 28 de maio de 2011

Exemplo do uso de Regras de Inferncia

sbado, 28 de maio de 2011

Exemplo do uso de Regras de Inferncia

(1) x 0 x + y y (2) x + y = y (3) x = 0

sbado, 28 de maio de 2011

Validade Mediante Tabelas-Verdade

sbado, 28 de maio de 2011

Validade Mediante Tabelas-Verdade

sbado, 28 de maio de 2011

Validade Mediante Tabelas-Verdade Exemplo

Se x = 0 e y = z, ento y > 1 y1 Portanto, y z

sbado, 28 de maio de 2011

Validade Mediante Tabelas-Verdade Exemplo

sbado, 28 de maio de 2011

Validade Mediante Tabelas-Verdade Exemplo (p q r) r q

sbado, 28 de maio de 2011

Validade Mediante Tabelas-Verdade Exemplo (p q r) r q

V F F No V tautologia! F Portanto, F F V V um V V sosma! F F F V F F F V F F V V V F V F F F

sbado, 28 de maio de 2011

Validade Mediante Regras de Inferncia

sbado, 28 de maio de 2011

Concluso: O argumento vlido

sbado, 28 de maio de 2011

Concluso: O argumento vlido

sbado, 28 de maio de 2011