Regras de deduo para lgica proposicional

- Equivalncia
- Inferncia
Mtodo dedutivo
- Silogismo hipottico

Regras de equivalncia
Permitem que fbfs individuais sejam reescritas mantendo o
mesmo valor lgico.

Regras de inferncia
Permitem a deduo de novas fbfs a partir de fbfs
anteriores na sequncia de demonstrao.

fbf So frmulas bem formuladas.

Do ingls wff (well-formed formula)
Exemplos
A ^ (B C)
((A v B) ^ C) (B v C)
(A v B)

Uma fbf com diversos conectivos, o ltimo a ser aplicado o

conectivo principal.
Exemplos
A ^ (B C) O conectivo principal ^
(A B) ^ (B A) O conectivo principal ^
(A ^ B) C O conectivo principal

Letras maisculas, como P, Q, R e S so usadas para representar

as fbfs.
Exemplo
((A v B) ^ C) (B v C) = P Q
3

Sequncia de demonstrao, uma sequncia de fbfs

nas quais cada fbf uma hiptese ou o resultado de se
aplicar uma das regras de deduo s fbfs anteriores na
sequncia.
Regras de deduo, so regras que modificam uma fbf de
modo a preservar seu valor lgico.
* Todo argumento que podemos provar uma tautologia

Regras de equivalncia
Determinados pares de fbfs so equivalentes.
Preservam os valores lgicos.

Expresso

Equivalente a

Nome/Abreviao

PvQ
P^Q

QvP
Q^P

Comutatividade - com

(P v Q) v R
(P ^ Q) ^ R

P v (Q v R)
P ^ (Q ^ R)

Associatividade - ass

(P v Q)
(P ^ Q)

P ^ Q
P v Q

Leis de Morgan De Morgan

PQ

P v Q

Condicional - cond

(P)

Dupla Negao - dn

PQ

(P Q) ^ (Q P)

Definio de equivalncia - equi

5

Regras de equivalncia
Exemplo
(A v B) v C
1) (A v B) v C hip (hiptese)
2) (A ^ B) v C 1, De Morgan
3) (A ^ B) C 2, cond.
Passo 1 a hiptese.
Passo 2 deduzido do passo 1 usando-se uma das leis de Morgan.
Passo 3 deduzido do passo 2 usando a regra do condicional (P Q
P v Q), onde P A ^B e Q C.
6

Regras de equivalncia
As regras de equivalncia permitem substituio em
qualquer direo.
Exemplo
No exemplo anterior, substitumos A v B por (A ^ B) mas,
em outra sequncia de demonstrao usando a mesma
regra, poderamos substituir (A ^ B) por A v B.

Regras de inferncia

As regras de inferncia dizem que se uma ou mais fbfs, contidas

na primeira coluna das regras de inferncia, fazem parte de uma
sequncia de demonstrao, ento podemos adicionar uma nova
fbf na sequncia substituindo-se a(s) anterior(res) pela(s) fbfs
correspondente(s) na segunda coluna das regras.

Ao contrrio das regras de equivalncia, as regras de inferncia

no funcionam em ambas as direes.

Regras de inferncia
De

Podemos deduzir

Nome / Abreviao

P, P Q

Modus ponens - mp

P Q, Q

Modus tollens mt

P, Q

P^Q

Conjuno conj

P^Q

P, Q

Simplificao simp

PvQ

Adio ad

Exemplo
Suponha que A (B ^ C) e A so duas hipteses em um argumento. Uma
sequncia de demonstrao para o argumento poderia comear com os
seguintes passos:
1) A (B ^ C)
2) A
3) B ^ C

- hip
- hip
- 1, 2 mp

Justificativa: P A e Q B ^ C.

1) P Q
2) P
3) Q
Modus ponens:
P, P Q deduz Q
9

Sequncia de demonstrao
A ^ (B C) ^ [(A ^ B) (D v C)] ^ B D
1. A
2. B C
3. (A ^ B) (D v C)
4. B
5. C
6. A ^ B
7. D v C
8. C v D
9. C D
10. D

hip
hip
hip
hip
2,4 mp
1,4 conj
3,6 mp
7 com
8 cond
5,9 mp

10

Sugestes de deduo
1. Modus Ponens , provavelmente, a regra de inferncia
mais intuitiva. Tente us-la muitas vezes.
2. Fbfs da forma (P ^ Q) ou (P v Q) dificilmente so teis
numa sequncia de demonstrao. Tente usar leis de
Morgan para convert-las em P v Q e P ^ Q,
respectivamente,
separando
os
componentes
individuais.
3. Fbfs da forma P v Q dificilmente so teis em uma
sequncia de demonstrao, j que no implicam P
nem Q. Tente usar a dupla negao para converter P v
Q em (P) v Q e depois usar a regra do condicional
para obter P Q.
11

Mtodo dedutivo
Suponha que o argumento que queremos provar tenha a forma
P1 ^ P2 ^ P3 ^ ... ^ Pn (R S)
onde a concluso uma implicao.
Ao invs de usar P1, ..., Pn como hipteses e inferir R S, o mtodo
dedutivo nos permite adicionar R como hiptese adicional e depois
inferir S.
Em outras palavras, podemos provar
P1 ^ P2 ^ P3 ^ ... ^ Pn ^ R S

12

Mtodo dedutivo
Exemplo
Usando o mtodo dedutivo, temos duas hipteses ao invs de uma e
queremos obter B.
[A (A B)] (A B)
1.
2.
3.
4.

A (A B)
A
A B
B

hip
hip
1,2 mp
2,3 mp

13

Mtodo dedutivo
A regra para o silogismo hipottico (sh)
De P Q e Q R pode-se deduzir P R.
O que essa regra diz que (P Q) ^ (Q R) (P R) um
argumento vlido.
Exemplo
(A v B) ^ (B C) (A C)
1.
2.
3.
4.

A v B
BC
A B
A C

hip
hip
1, cond
2,3 sh
14

Mtodo dedutivo
Sequncia de demonstrao no utilizando o silogismo hipottico
1.
2.
3.
4.
5.
6.

A v B
BC
A B
A
B
C

hip
hip
1 cond
hip
3,4 mp
2,5 mp

15

LEMBRETE
Os exerccios devem ser entregues na prxima aula
(28/05).
- So individuais

16

EXERCCIOS PARA ENTREGAR

1) Prove a validade dos argumentos:
a) (A B) ^ (C v A) ^ C B
b) (J I) ^ (F v I) ^ J F
c) C ^ (D C) D
2) Justifique cada passo na sequncia de demonstrao:
a) A ^ (B C) (B (A ^ C))
1. A
2. B C
3. B
4. C
5. A ^ C
b) A ^ B ^ [B (A v C)] C
1. A
2. B
3. B (A v C)
4. A v C
5. (A) v C
6. A C
7. C
17

EXERCCIOS PARA ENTREGAR

3) Justifique cada passo na sequncia de demonstrao:
[A (B v C)] ^ B ^ C A
1. A (B v C)
2. B
3. C
4. B ^ C
5. (B v C)
6. A
4) Use a lgica proposicional para provar que o argumento vlido.
a) (A B) ^ [A (B C)] (A C)
b) A ^ (A v B) B
c) (P v Q) ^ P Q
d) P ^ P Q

18