Universidade Federal do Vale do So Francisco Curso de Engenharia da Computao

Matemtica Discreta - 02
Prof. Jorge Cavalcanti
jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Lgica Proposicional
As formas simblicas como fbfs em lgica formal para representar proposies so chamadas fbfs proposicionais. Usando ferramentas da lgica formal, podemos chegar a concluses de proposies dadas. O sistema formal que usa fbfs proposicionais chamado de lgica proposicional, lgica declarativa ou clculo proposicional. Argumentos Vlidos: um argumento pode ser representado em forma simblica como:
P1 P2 P3 ... Pn Q P1, ...Pn so as proposies dadas, chamadas de hipteses do argumento e Q a concluso do argumento. P e Q representam fbfs e no somente letras de proposio. Quando um argumento pode ser considerado vlido?
2
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Q uma concluso lgica de P1, ...Pn sempre que a verdade das proposies P1, ...Pn implica na verdade de Q. Uma fbf proposicional P1 P2 P3 ... Pn Q um argumento vlido quando for uma tautologia. Para testarmos se P1 P2 P3 ... Pn Q uma tautologia, podemos construir uma tabela verdade, ou mais simplificadamente, utilizaremos um sistema de regras de deduo.
Essas regras modificam uma fbf sem modificar seu valor lgico. Comeando a partir das hipteses P1, ...Pn (supostas verdadeiras) para se chegar concluso Q verdadeira. 3
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Uma sequncia de demonstrao uma sequncia de fbfs nas quais cada fbf uma hiptese ou resultado de se aplicar uma das regras de deduo s fbfs anteriores na sequncia. Usando lgica formal para provar que Q uma concluso vlida de P1, ...Pn, vamos produzir uma sequncia de demonstrao da forma:
P1 (hiptese) P2... (hiptese) Pn (hiptese) fbf1 (obtida aplicando-se uma regra de deduo s anteriores) fbf2... Q (obtida aplicando-se uma regra de deduo s anteriores)
4
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Deduo para a Lgica Proposicional Dois tipos: equivalncias e inferncia. As regras de equivalncia permitem que fbfs individuais sejam reescritas mantendo o mesmo valor lgico. As regras de inferncia permitem a deduo de novas fbfs a partir de fbfs anteriores na sequncia de demonstrao. As regras de equivalncia dizem que determinados pares de fbfs so equivalentes (RS, onde RS uma tautologia).
R pode ser substitudo por S sem mudana do valor lgico. As regras preservam os valores
5
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Equivalncia
Expresso Equivalente a Nome/Abreviao Comutatividade / Com Associatividade / Ass Leis de De Morgan / De Morgan Condicional / Cond (*) Dupla negao / Dn Equivalncia / Equi
6

PQ PQ (P Q) R (P Q) R (P Q) (P Q) PQ P PQ (*) Demonstrar.

QP QP P (Q R) P (Q R) P Q P Q P Q (P) (PQ) (QP)

Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

7
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Equivalncia Ex.: Suponha que uma hiptese de um argumento proposicional pode ser simbolizada como (A B) C Ento, o primeiro passo de uma sequncia de demonstrao para o argumento poderia ser:
1. 2. 3.

(A B) C (Hip) (A B) C (De Morgan) (A B) C (Cond)

8
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Inferncia Se uma ou mais fbfs fazem parte de uma sequncia de demonstrao, ento podemos adicionar uma nova fbf na sequncia, substituindo uma anterior por uma nova fbf correspondente. Ao contrrio das regras de equivalncia, as regras de inferncia no funcionam em ambas as direes. A idia bsica de se utilizar inferncia da deduo de novas proposies a partir de proposies j conhecidas.
9
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Inferncia
De Podemos Deduzir Nome/Abreviao Modus ponens / mp Modus Tollens / mt Conjuno / conj Simplificao / simp Adio / ad Se P, ento Q. P. Portanto Q.

P, P Q P Q, Q P, Q PQ P

Q P PQ P, Q PQ

Ex.:

P PQ Q
V V F F V F V V ? ? ? ?

1. Se chover, ento fico em casa. 2. Choveu. 3. Portanto fico em casa. 10

Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Inferncia Ex.: P Q Q P
V F F

Se P, ento Q. Q falso. ento P falso

1. Se existe fogo aqui, ento tem oxignio 2. No h oxignio aqui 3. Ento aqui no h fogo

11
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Regras de Inferncia Ex.: 1. A(BC) - hip 2. A - hip 3. B C 1,2 mp Ex.: 1. (AB) C - hip 2. C - hip 3. (AB) 1,2 mt Ex.: 1. (AB) C - hip 2. A - hip 3. ? (mp no se aplica)

Para usar uma regra de deduo, as fbfs tem que ter a mesma forma descrita na regra.
12
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Usando a lgica proposicional, provar que o argumento abaixo vlido. A (BC) [(A B)(D C)] B D A hip BC hip (A B)(D C) hip B hip C 2,4, mp AB 1,4, conj D C 3,6, mp C D 7, com CD 8, cond D 5, 9, mp
13
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

1. 2. 3. 4. 5. 6. 7. 8. 9. 10.

Lgica Proposicional
Usando a lgica proposicional, provar que o argumento abaixo vlido. [(A B) C)] (CD) A D
1. 2. 3. 4. 5. 6.

(A B) C CD A A B C D

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

14
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Sugestes de Deduo

Modus ponens a regra mais intuitiva e deve ser

usada muitas vezes. Fbfs da forma (P Q) e (P Q) dificilmente so teis em uma sequncia de demonstrao. Usar as leis de De Morgan para convert-las em P Q e P Q respectivamente. Fbfs na forma P Q tambm no so teis em sequncias de demonstrao. Usar a dupla negao para converter P Q em (P) Q e depois usar a condicional para obter P Q.
15
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Mtodos Dedutivos e Outras Regras Suponha que o argumento que queremos provar tem a forma: P1 P2 P3 ... Pn (R S) A concluso uma implicao. Mas, 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, na seguinte forma: P1 P2 P3 ... Pn R S A vantagem que nos d mais uma hiptese para demonstrao.
16
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Use a lgica proposicional, usando o mtodo dedutivo, para provar que o argumento abaixo vlido. [A (A B)] (A B) [A (A B)] A B
1. 2. 3. 4.

A (A B) A AB B

hip hip 1,2, mp 2,3, mp

17

Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Use a lgica proposicional, usando o mtodo dedutivo, para provar que o argumento abaixo vlido. (A B) (B C) (A C) (A B) (B C) A C 1. A B hip 2. B C hip 3. A hip 4. B 1,3, mp 5. C 2,4, mp A demonstrao acima descreve a regra para o Silogismo Hipottico.
18
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Silogismo Hipottico De P Q e Q R pode-se deduzir P R. De maneira formal: (P Q) (Q R) (P R) Por ser uma outra regra de deduo legtima, o silogismo hipottico pode ser usado em um passo de uma demonstrao. Ex.: Demonstrar a validade do argumento abaixo. (A B) (B C) (A C) 1. A B hip 2. B C hip 3. A B 1, cond 4. A C 2,3, sh
19
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Argumentos Verbais Um argumento verbal formado por declaraes simples, pode ser testado logicamente por um processo de duas etapas:
1. 2.

Simbolize cada declarao usando fbfs proposicionais. Prove a validade do argumento construindo uma sequncia de demonstrao atravs das regras de deduo.

Considere o argumento: Se as taxas de juros carem, o

mercado imobilirio vai melhorar. Ou a taxa federal de descontos vai cair, ou o mercado imobilirio no vai melhorar. As taxas de juros vo cair. Portanto, a taxa federal de descontos vai cair.
Definir a notao do argumento em lgica proposicional e provar a validade do argumento, por sequncia de demonstrao.
20
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Se as taxas de juros carem, o mercado imobilirio vai melhorar. Ou a taxa federal de descontos vai cair, ou o mercado imobilirio no vai melhorar. As taxas de juros vo cair. Portanto, a taxa federal de descontos vai cair.
Usando a notao: J A taxa de juros vai cair. I O mercado imobilirio vai melhorar. F A taxa federal de descontos vai cair. O argumento fica: (J I) (F I) J F 1. J I hip 2. (F I) hip 3. J hip 4. I F 2, com 5. I F 4, cond 6. J F 1,5, sh 7. F 3,6 mp
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

21

Lgica Proposicional
Ex.: Verifique

a validade do argumento: Meu cliente canhoto

mas, se o dirio no tiver sumido, ento meu cliente no canhoto; portanto, o dirio sumiu.
Usando a notao: C Meu cliente canhoto D O dirio sumiu. O argumento fica: C (D C) D 1. C hip 2. (D C) hip 3. (D) C 2, cond 4. D C 3, dn 5. C D 4, com 6. C D 5, cond 7. D 1,6 mp Obs: A validade do argumento uma funo apenas do seu formato lgico e no tem nada a ver com a verdade fatual de nenhum dos seus componentes.
22
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf

Lgica Proposicional
Ex.: Verifique a validade do argumento: Se a segurana um

problema, ento o controle ser aumentado. Se a segurana no um problema, ento os negcios na internet iro aumentar. Portanto, se o controle no for aumentado, os negcios na internet crescero.
Usando as letras de proposio S, C, N:

23
Matemtica Discreta - Prof. Jorge Cavalcanti - Univasf