FEUP/LEIC Teoria da Computao II

2001/2002

Lgica Proposicional-3

Condicional e Bicondicional
Provas informais e formais com condicionais

Referncia:

Language, Proof and Logic

Jon Barwise e John Etchemendy, 1999

Captulos: 7-8
1

Condicional
Implicao ou condicional material:

PQ

P antecedente e Q consequente

Linguagem natural

se P ento Q
Se a Ana est na sala ento a Rita est na biblioteca
NaSala(ana) NaBib(rita)
P s se Q
[condio necessria]
O Vasco aprovado s se assistir a 75% das aulas
Aprovado(vasco) Assiste75%(vasco)
Q se P
[condio suficiente]
O Lus bom aluno se tiver mdia de 15
Media15(luis) BomAluno(luis)
Lgica Proposicional-2

Cristina Ribeiro/Gabriel David

1 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

Traduo

Q sempre que P, Q quando P, Q dado P

Chove sempre que vou praia
NaPraia(eu) Chove
P implica Q
[valor de verdade, no causalidade]
A Otlia andar chuva implica que fica molhada
AndarChuva(otilia) Molhada(otilia)

Combinado com negao: P Q

Q a menos que P; a no ser que P, Q

A Clara vai praia a menos que chova
Chove aPraia(clara)
[se chover no se sabe...]

Em frmulas quantificadas: expresses mais naturais

Todos os As so Bs
Para todo o x (A(x) B(x))
Lgica Proposicional-3

: Semntica e Regra do jogo

P Q verdadeiro se e s se P falso ou Q verdadeiro
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
V
V

significado P Q

Quando falso: antecedente verdadeiro e consequente falso

No aumenta a potncia da linguagem mas torna-a mais
natural e fcil de entender
Tarskis World: P Q abreviatura de P Q

Cristina Ribeiro/Gabriel David

no jogo: substitui e usa regra para

Lgica Proposicional-4

2 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

Verdade lgica e consequncia lgica

Importncia do condicional: reduzir consequncia lgica a
verdade lgica
Q consequncia das premissas P1, Pn se e s se
impossvel todas serem verdadeiras e Q falso
Ento a frmula
(P1 Pn) Q

no pode ser falsa

logicamente verdadeira

Lgica Proposicional-5

Bicondicional
Equivalncia ou bicondicional material:
[condio necessria e suficiente]
LN: se e s se s no caso em que...

sse
P se Q

PQ

P s se Q

PQ

n par sse n2 par

Par(n) Par(n2)

Propriedades: P e Q logicamente equivalentes se e s se o

bicondicional P Q logicamente verdadeiro
PQ
PQ

sse; abreviatura; no smbolo da FOL

conectiva; logicamente verdadeiro; smbolo da FOL

Exemplo: lei de DeMorgan

(P Q) (P Q) logicamente verdadeira
Lgica Proposicional-6

Cristina Ribeiro/Gabriel David

3 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

: Semntica e Regra do jogo

P Q verdadeiro se e s P e Q tm o mesmo valor de verdade
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
F
V

significado (PQ) ( PQ)

Tarskis World:

P Q substitudo por (P Q) (Q P)
no jogo: substitui e usa regra para

Lgica Proposicional-7

LN: o que decorre de uma frase?

Ao traduzir LN para LPO:
questo do que ou no consequncia da frase
A Rita est na sala quando o Rui no est na sala
? NaSala(rui) NaSala(rita)
? NaSala(rui) NaSala(rita)
Na frase em LN: decorre de alguma maneira que se o Rui estiver na
sala, ento a Rita no estar

Distino a fazer:

condies de verdade de uma afirmao

outras coisas que decorrem da afirmao

H.P. Grice: introduz noo de decorrncia conversacional

Lgica Proposicional-8

Cristina Ribeiro/Gabriel David

4 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

Decorrncia Conversacional
Frase F, e concluso C
se C faz parte do significado de F: no pode ser cancelada
por afirmaes subsequentes
A Rita e o Rui esto na sala mas o Rui no est na sala
O Rui est na sala parte do significado: no pode ser cancelado

se C mera decorrncia de F: pode ser cancelada por

afirmaes subsequentes
A Rita est na sala quando o Rui no est na sala mas quando
o Rui est na sala no sei onde est a Rita
NaSala(Rita) NaSala(Rui) no faz parte do significado da
afirmao: pode ser cancelado na afirmao seguinte sem
contradio
Lgica Proposicional-9

Mtodos de prova usando e

Estritamente: podem usar-se s as regras para , e
Provas mais naturais: usam regras prprias para e
Passos de prova:
Modus ponens ou eliminao do condicional

tendo estabelecido PQ e P pode inferir-se Q

Eliminao do bicondicional

tendo estabelecido QR ou RQ, tendo Q pode inferir-se R

Equivalnciascontrapositiva
PQ

Q P
P Q
PQ
(PQ) P Q

PQ
PQ

(PQ) (QP)
(P Q) (P Q)
Lgica Proposicional-10

Cristina Ribeiro/Gabriel David

5 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

Mtodo de prova condicional

Para provar P Q :

Assumir P como premissa

Provar Q

Exemplo: A C consequncia de A B e B C

Assumindo A: de AB, por modus ponens infere-se B

De B e BC , por modus ponens infere-se C
Provou-se C tendo assumido A, provou-se AC

Exemplo: Par(n2) Par(n)

Assumindo Par(n2), e fazendo prova por contradio

n mpar, n= 2m + 1
n2 = (2m+1)2 = 4 m2 + 4m + 1 = 2 (2 m2 + 2m) +1
Contradiz a premissa, logo n par

donde n2 mpar

Par(n2) Par(n) infere-se por prova condicional

Lgica Proposicional-11

Provas com
Prova condicional: para provar P Q

Assumir P e provar Q
Assumir Q e provar P

Para provar Q1, Q2, Q3 todos equivalentes:

Expresso em LPO:
Q1 Q2
Q2 Q3
Q1 Q3

Em vez de 6 provas condicionais:

provar um ciclo
Q1 Q2
Q2 Q3
Q3 Q1

Lgica Proposicional-12

Cristina Ribeiro/Gabriel David

6 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

Exemplo
As condies seguintes nos nmeros naturais so todas
equivalentes:
(1) n par
(2) n2 par
(3) n2 divisvel por 4

Provando (3) (2) (1) (3)

Assumindo (3): se n2 divisvel por 4, divisvel por 2, logo (2)

(2) (1) por contrapositiva: se n mpar, pode escrever-se
n= 2m + 1
n2 = (2m+1)2 = 4 m2 + 4m + 1 = 2 (2 m2 + 2m) +1 mpar

(1) (3) evidente

Lgica Proposicional-13

Regras de inferncia para

Eliminao do condicional
( Elim)
P Q

> Q
Modus ponens

Introduo do condicional
( Intro)
P

Q
>

P Q
Prova condicional

Lgica Proposicional-14

Cristina Ribeiro/Gabriel David

7 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

nas provas formais

1. (A B) C
2. A
3. A B
4. C
5. A C

1. A
2. A
3.
4. A
5. A A

Intro: 2
Elim: 1,3
Intro: 2-4

Intro: 1,2
Intro: 2,3
Intro: 1-4

Usar prova de A a partir de A

para provar o condicional
A A
(sem premissas)

Lgica Proposicional-15

Regras de inferncia para

Eliminao do bicondicional
( Elim)
P Q (ou Q P )

> Q

Introduo do bicondicional
( Intro)
P

Q
Q

P
> P Q
Dupla prova condicional
Lgica Proposicional-16

Cristina Ribeiro/Gabriel David

8 - Condicionais

FEUP/LEIC Teoria da Computao II

2001/2002

nas provas formais

1. (P Q)
2. P Q

Teor Prev(Teorema 2): 1

3. P Q
4. (P Q)

Teor Prev(Teorema 3): 3

5. (P Q) (P Q) Intro: 1-2, 3-4

Lgica Proposicional-17

Esquemas teis
Modus ponens

De A B e
Inferir

Modus tollens

De A B e B
Inferir A

Cancelamento

De A B e B
Inferir A

Reforo do antecedente

De B C
Inferir (A B) C

Enfraquecimento do consequente

De A B
Inferir A (B C)

Dilema construtivo

De A B , A C, B D
Inferir C D

Lgica Proposicional-18

Cristina Ribeiro/Gabriel David

9 - Condicionais