Você está na página 1de 95

Lógica

 Proposicional  
1  

E D U A R D O   F R E I R E   N A K A M U R A  
I n s / t u t o   d e   C o m p u t a ç ã o  
U n i v e r s i d a d e   F e d e r a l   d o   A m a z o n a s  
n a k a m u r a @ i c o m p . u f a m . e d u . b r  
 

1Este
material baseia-se no material da professora Eulanda Miranda dos Santos (emsantos@icomp.ufam.edu.br) e no livro
GERSTING, Judith L. Fundamentos Matemáticos para a Ciência da Computação: um Tratamento Moderno de Matemática Discreta, 5a ed. Livros Técnicos e Científicos, 2004.

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Lógica  proposicional  
2  

—  Sistema  que  usa  ferramentas  da  Lógica  Formal  para  chegar  a  
conclusões  a  par<r  das  proposições  dadas  

—  Outros  nomes  


u  LÓGICA  DECLARATIVA    
u  CÁLCULO  PROPOCIONAL  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Lógica  proposicional  
3  

—  O  que  é  um  argumento?  

—  O  que  é  um  argumento  válido?  

hQp://www.clipartbest.com/cliparts/xig/Kok/xigKokxjT.jpeg  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  
4  

—  Do  ponto  de  vista  da  matemá<ca  e  da  lógica  


u  Um  argumento  não  é  uma  disputa  
u  Um  argumento  é  uma  sequência  de  comandos/afirmações  que  termina  
numa  conclusão  

—  Um  argumento  ser  válido  significa  que  a  conclusão  pode  ser  


ob<da  necessariamente  das  afirmações  que  precedem  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  
5  

 
     P1,  P2,  P3,  ...,  Pn  ∴  Q  
Um  argumento  é  uma    
sequência  de  afirmações  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  
6  

 
     P1,  P2,  P3,  ...,  Pn  ∴  Q  

Todas  as  afirmações,  exceto  a  úl<ma,  


são  chamadas  de  
 premissas  ou  suposições  ou  hipóteses  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  
7  

 
     P1,  P2,  P3,  ...,  Pn  ∴  Q  

A  úl<ma  afirmação  é  chamada  de  


conclusão  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  
8  

 
     P1,  P2,  P3,  ...,  Pn  ∴  Q  

•  símbolo  ∴  
•  “de  onde  se  conclui”  
•  colocado  antes  da  conclusão  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  
9  

 
     P1,  P2,  P3,  ...,  Pn  ∴  Q  

—  Asser<va  
u  Um  conjunto  de  proposições  (premissas)  P1,  P2,  ...,  Pn,  que  
u  Resulta,  como  uma  consequência,  outra  proposição  Q  (conclusão  ou  tese)  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplo  
10  

Exemplo  01  
Se  Riva  é  humano,  então  Riva  é  mortal  
Riva  é  humano  
∴  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplo  
11  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplo  
12  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   P→R  

Exemplo  02  
Homem  solteiro  é  infeliz  
Homem  infeliz  morre  cedo  
∴  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos????  
13  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Exemplo  02   Forma  simbólica  


Homem  solteiro  é  infeliz   P→Q  
Homem  infeliz  morre  cedo   Q→R  
∴   Homem  solteiro  morre  cedo   ∴   P→R  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  válido  
14  

—  Um  argumento  é  válido  se,  e  somente  se,  para  todas  as  


combinações  de  argumentos  que  levam  a  premissas  verdadeiras,  
então  a  conclusão  também  é  verdadeira  

—  A  verdade  da  conclusão  é  ob<da  analisando  os  valores-­‐verdade  


da  forma  lógica  em  si  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumento  válido  
15  

—  Linhas  crí<cas  


u  Linhas  onde  todas  as  premissas  são  verdadeiras.  
u  O  argumento  é  válido  se  a  conclusão  for  verdadeira  para  todas  as  linhas  
crí<cas  

—  Falácia:  argumento  que  não  é  válido  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Como  avaliar  a  validade  de  um  argumento  
16  

1.  Iden<fique  as  premissas  e  conclusão  do  argumento  

2.  Construa  a  tabela  da  verdade  iden<ficando  as  colunas  das  


premissas  e  da  conclusão  
3.  Iden<fique  as  linhas  onde  todas  as  premissas  são  verdadeiras  
(linhas  crí<cas)  
4.  Para  cada  linha  crí<ca  verifique  se  a  conclusão  do  argumento  é  
verdadeira  
a)  Se  for  para  todas  as  linhas  crí<cas  então  a  forma  do  argumento  é  válida.  
b)  Se  exis<r  pelo  menos  uma  linha  crí<ca  com  conclusão  falsa  então  a  forma  
do  argumento  é  inválida.  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
17  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q  
V   V  
V   F  
F   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
18  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Premissas  
V   V  
V   F  
F   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
19  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V  
V   F  
F   V  
Conclusão  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
20  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V  
V   F  
F   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
21  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V  
V   F   F  
F   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
22  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V  
V   F   F  
F   V   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
23  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V  
V   F   F  
F   V   V  
F   F   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
24  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V  
V   F   F   V  
F   V   V   F  
F   F   V   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
25  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V   V  
V   F   F   V   F  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
26  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V   V  
Iden<ficar  linhas  crí<cas:  
V   F   F   V   F  
Premissas  são  verdadeiras  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
27  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V   V  
Iden<ficar  linhas  crí<cas:  
V   F   F   V   F  
Premissas  são  verdadeiras  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
28  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V   V  
Premissas  são  verdadeiras:  
V   F   F   V   F  
Conclusão  verdadeira  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
29  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V   V  
V   F   F   V   F   Argumento  Válido  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
30  

Exemplo  01   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  humano   P  
∴   Riva  é  mortal   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
V   V   V   V   V  
Demais  linhas  são  
V   F   F   V   F  
irrelevantes  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
31  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F  
V   F   V  
V   F   F  
Forma  simbólica   F   V   V  
P→Q   F   V   F  
Q→R   F   F   V  
∴   P→R   F   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
32  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F  
V   F   V  
V   F   F  
Forma  simbólica   F   V   V  
P→Q   F   V   F  
Q→R   F   F   V  
∴   P→R   F   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
33  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F  
V   F   V  
V   F   F  
Forma  simbólica   F   V   V  
P→Q   F   V   F  
Q→R   F   F   V  
∴   P→R   F   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
34  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F   V  
V   F   V   F  
V   F   F   F  
Forma  simbólica   F   V   V   V  
P→Q   F   V   F   V  
Q→R   F   F   V   V  
∴   P→R   F   F   F   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
35  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F   V   F  
V   F   V   F   V  
V   F   F   F   V  
Forma  simbólica   F   V   V   V   V  
P→Q   F   V   F   V   F  
Q→R   F   F   V   V   V  
∴   P→R   F   F   F   V   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
36  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F   V   F   F  
V   F   V   F   V   V  
V   F   F   F   V   F  
Forma  simbólica   F   V   V   V   V   V  
P→Q   F   V   F   V   F   V  
Q→R   F   F   V   V   V   V  
∴   P→R   F   F   F   V   V   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
37  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F   V   F   F  
V   F   V   F   V   V  
V   F   F   F   V   F  
Forma  simbólica   F   V   V   V   V   V  
P→Q   F   V   F   V   F   V  
Q→R   F   F   V   V   V   V  
∴   P→R   F   F   F   V   V   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
38  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F   V   F   F  
V   F   V   F   V   V  
V   F   F   F   V   F  
Forma  simbólica   F   V   V   V   V   V  
P→Q   F   V   F   V   F   V  
Q→R   F   F   V   V   V   V  
∴   P→R   F   F   F   V   V   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
39  

Exemplo  02   Premissas   Conclusão  


Homem  solteiro  é  infeliz   P   Q   R   P→Q   Q→R   P→R  
Homem  infeliz  morre  cedo   V   V   V   V   V   V  
∴   Homem  solteiro  morre  cedo   V   V   F   V   F   F  
V   F   V   F   V   V  
V   F   F   F   V   F  
Forma  simbólica   Argumento  F  Válido  
V   V   V   V   V  
P→Q   F   V   F   V   F   V  
Q→R   F   F   V   V   V   V  
∴   P→R   F   F   F   V   V   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
40  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q  
V   V  
V   F  
F   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
41  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V  
V   F  
F   V  
F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
42  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V   V  
V   F   F  
F   V   V  
F   F   V  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
43  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V   V   V  
V   F   F   F  
F   V   V   V  
F   F   V   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
44  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V   V   V   V  
V   F   F   F   V  
F   V   V   V   F  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
45  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V   V   V   V  
V   F   F   F   V  
F   V   V   V   F  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
46  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V   V   V   V  
V   F   F   F   V  
F   V   V   V   F  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exemplos  
47  

Exemplo  03   Forma  simbólica  


Se  Riva  é  humano,  então  Riva  é  mortal   P→Q  
Riva  é  mortal   Q  
∴   Riva  é  humano   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P  
V   V   V   V   V  
V   F   F   F   V   Argumento  Inválido  
F   V   V   V   F  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
48  

Modus  ponens  
P  
P→Q  
Q  

MD  é  fácil  
SE  MD  é  fácil,  ENTÃO  serei  aprovado  
serei  aprovado  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
49  

Modus  ponens   Modus  tollens  


P   ¬Q  
P→Q   P→Q  
Q   ¬P  

NÃO  fui  aprovado  


SE  estudei,  ENTÃO  fui  aprovado  
NÃO  estudei  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
50  

Modus  ponens   Modus  tollens   Conjunção  


P   ¬Q   P  
P→Q   P→Q   Q  
Q   ¬P   P∧Q  

estudei  
fui  aprovado  
estudei  E  fui  aprovado  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
51  

Modus  ponens   Modus  tollens   Conjunção   Adição  


P   ¬Q   P  
P→Q   P→Q   Q   P  
Q   ¬P   P∧Q   P∨Q  

estudei  
estudei  OU  dormi  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
52  

Modus  ponens   Modus  tollens   Conjunção   Adição  


P   ¬Q   P  
P→Q   P→Q   Q   P  
Q   ¬P   P∧Q   P∨Q  

SE  estudar,  ENTÃO  MD  é  fácil  


SE  MD  é  fácil,  ENTÃO  serei  aprovado  
SE  estudar,  ENTÃO  serei  aprovado  

Silogismo  hipoté<co  
P→Q  
Q→R  
P→R  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
53  

Modus  ponens   Modus  tollens   Conjunção   Adição  


P   ¬Q   P  
P→Q   P→Q   Q   P  
Q   ¬P   P∧Q   P∨Q  

estudo  SE,  E  SOMENTE  SE,  quero  passar  


quero  passar  SE,  E  SOMENTE  SE,  aprendo  
estudo  SE,  E  SOMENTE  SE,  aprendo    

Silogismo  hipoté<co   Silogismo  hipoté<co  


P→Q   P↔Q  
Q→R   Q↔R  
P→R   P↔R  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
54  

Modus  ponens   Modus  tollens   Conjunção   Adição  


P   ¬Q   P  
P→Q   P→Q   Q   P  
Q   ¬P   P∧Q   P∨Q  

estudei  OU  dormi  


NÃO  dormi  
estudei  

Silogismo  hipoté<co   Silogismo  hipoté<co   Silogismo  disjun<vo  


P→Q   P↔Q   P∨Q  
Q→R   Q↔R   ¬Q  
P→R   P↔R   P  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
55  

Modus  ponens   Modus  tollens   Conjunção   Adição  


P   ¬Q   P  
P→Q   P→Q   Q   P  
Q   ¬P   P∧Q   P∨Q  

Silogismo  hipoté<co   Silogismo  hipoté<co   Silogismo  disjun<vo  


P→Q   P↔Q   P∨Q  
Q→R   Q↔R   ¬Q  
P→R   P↔R   P  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Argumentos  válidos:  regras  de  inferência  
56  

Modus  ponens   Modus  tollens   Conjunção   Adição  


P   ¬Q   P  
P→Q   P→Q   Q   P  
Q   ¬P   P∧Q   P∨Q  

U<lizando  a  tabela-­‐verdade  demonstre  que  estes  argumentos  são  válidos.  

Silogismo  hipoté<co   Silogismo  hipoté<co   Silogismo  disjun<vo  


P→Q   P↔Q   P∨Q  
Q→R   Q↔R   ¬Q  
P→R   P↔R   P  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
57  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B  

—  Premissas  
Ponto  de  Par<da  
a)  A→B  
b)  ¬C∨A    
c)  C  

—  Conclusão   Onde  se  quer  


chegar  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
58  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  


(¬C∨A)  ≡  (C→A)  

—  Premissas  
a)  A→B  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
59  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  


2.  A   C→A  
C  
—  Premissas   ∴  A  
(modus  ponens)  
a)  A→B  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
60  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  


2.  A   C→A  
C  
—  Premissas   ∴  A  
(modus  ponens)  
a)  A→B  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
61  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  


2.  A  
3.  B   A→B  
—  Premissas   A  
∴  B  
a)  A→B   (modus  ponens)  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
62  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  


2.  A  
3.  B   A→B  
—  Premissas   A  
∴  B  
a)  A→B   (modus  ponens)  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
63  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  


2.  A  
3.  B  
—  Premissas  
a)  A→B  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
64  

—  Argumento   —  Sequência  de  demonstração  

(A→B)∧  (¬C∨A)  ∧  C  →  B   1.  C→A  (equivalência  condicional  de  (b))  


2.  A  (modus  ponens  de  (1)  e  (c))  
3.  B  (modus  ponens  de  (a)  e    (2))  
—  Premissas  
a)  A→B  
b)  ¬C∨A    
c)  C  

—  Conclusão  
u  B  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
65  

—  Argumento   —  Sequência  de  demonstração  

(¬A∨B)  ∧  (B→C)  →  (A→C)  

—  Premissas  
a)  ¬A∨B  
b)  B→C  

—  Conclusão  
u  A→C  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
66  

—  Argumento   —  Sequência  de  demonstração  

(¬A∨B)  ∧  (B→C)  →  (A→C)   1.  A→B  


(¬A∨B)  ≡  (A→B)  

—  Premissas  
a)  ¬A∨B  
b)  B→C  

—  Conclusão  
u  A→C  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
67  

—  Argumento   —  Sequência  de  demonstração  

(¬A∨B)  ∧  (B→C)  →  (A→C)   1.  A→B  


A→B  
2.  A→C   B→C  
∴  A→C  
—  Premissas   (silogismo  
hipoté<co)  
a)  ¬A∨B    
b)  B→C  

—  Conclusão  
u  A→C  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
68  

—  Argumento   —  Sequência  de  demonstração  

(¬A∨B)  ∧  (B→C)  →  (A→C)   1.  A→B  


2.  A→C  

—  Premissas  
a)  ¬A∨B  
b)  B→C  

—  Conclusão  
u  A→C  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Agumentos  válidos:  exemplos  
69  

—  Argumento   —  Sequência  de  demonstração  

(¬A∨B)  ∧  (B→C)  →  (A→C)   1.  A→B  (equivalência  condicional  de  (a))  


2.  A→C  (silog.  hipoté<co  em  (1)  e  (b))  

—  Premissas  
a)  ¬A∨B  
b)  B→C  

—  Conclusão  
u  A→C  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
70  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;  
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;  
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
71  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;          P→Q  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;  
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;  
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
72  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;          P→Q  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;        R∨S  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;            
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;  
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
73  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;          P→Q  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;        R∨S  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;          R→T  
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;    
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
74  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;          P→Q  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;        R∨S  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;          R→T  
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;          ¬Q  
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
75  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;          P→Q  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;        R∨S  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;          R→T  
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;          ¬Q  
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;                U→X  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
76  

—  Você  está  saindo  para  a  UFAM  de  manhã  e  percebe  que  não  está  
usando  os  óculos.  Ao  tentar  descobrir  onde  estão  os  óculos  você  
começa  a  pensar  sobre  os  seguintes  fatos  que  são  verdadeiros  
1.  Se  os  meus  óculos  estão  na  mesa  da  cozinha  então  eu  os  vi  no  café  da  
manhã;          P→Q  
2.  Eu  estava  lendo  o  jornal  na  sala  de  estar  ou  eu  estava  lendo  o  jornal  na  
cozinha;        R∨S  
3.  Se  eu  estava  lendo  o  jornal  na  sala  de  estar  então  meus  óculos  estão  na  mesa  
do  café;          R→T  
4.  Eu  não  vi  meus  óculos  no  café  da  manhã;          ¬Q  
5.  Se  eu  estava  lendo  um  livro  na  cama  então  meus  óculos  estão  no  criado-­‐
mudo;                U→X  
6.  Se  eu  estava  lendo  o  jornal  na  cozinha  então  meus  óculos  estão  na  mesa  da  
cozinha;          S→P  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
77  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

Variável   Argumento  
P   meus  óculos  estão  na  mesa  da  cozinha  
Q   eu  os  vi  no  café  da  manhã  
R   estava  lendo  o  jornal  na  sala  de  estar  
S   eu  estava  lendo  o  jornal  na  cozinha  
T   meus  óculos  estão  na  mesa  do  café  
U   eu  estava  lendo  um  livro  na  cama  
X   meus  óculos  estão  no  criado-­‐mudo  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
78  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q  
4.   ¬Q  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
79  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q  
4.   ¬Q  
7.   ¬P   Modus  tollens  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
80  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q   6.   S→P  
4.   ¬Q   7.   ¬P  
7.   ¬P   Modus  tollens  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
81  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q   6.   S→P  
4.   ¬Q   7.   ¬P  
7.   ¬P   Modus  tollens   8.   ¬S   Modus  tollens  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
82  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q   6.   S→P  
4.   ¬Q   7.   ¬P  
7.   ¬P   Modus  tollens   8.   ¬S   Modus  tollens  

2.   R∨S  
8.   ¬S  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
83  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q   6.   S→P  
4.   ¬Q   7.   ¬P  
7.   ¬P   Modus  tollens   8.   ¬S   Modus  tollens  

2.   R∨S   9.   R→T  
8.   ¬S   8.   R  
9.   R   Silogismo  disjun@vo  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
84  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q   6.   S→P  
4.   ¬Q   7.   ¬P  
7.   ¬P   Modus  tollens   8.   ¬S   Modus  tollens  

2.   R∨S   9.   R→T  
8.   ¬S   8.   R  
9.   R   Silogismo  disjun@vo   10.   T   Modus  Ponens  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
85  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

1.   P→Q   6.   S→P  
4.   ¬Q   7.   ¬P  
7.   ¬P   Modus  tollens   8.   ¬S   Modus  tollens  

2.   R∨S   9.   R→T  
8.   ¬S   8.   R  
9.   R   Silogismo  disjun@vo   10.   T   Modus  Ponens  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Um  exemplo  mais  complexo  
86  

Fatos  transformados  em  proposições  


1.   P→Q   2.   R∨S   3.   R→T  
4.   ¬Q   5.   U→X   6.   S→P  

Variável   Argumento  
P   meus  óculos  estão  na  mesa  da  cozinha  
Q   eu  os  vi  no  café  da  manhã  
R   estava  lendo  o  jornal  na  sala  de  estar  
S   eu  estava  lendo  o  jornal  na  cozinha  
T   meus  óculos  estão  na  mesa  do  café  
U   eu  estava  lendo  um  livro  na  cama  
X   meus  óculos  estão  no  criado-­‐mudo  

Fundamentos de Teoria da Computação Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Validade  vs.  Verdade  
87  

http://img2.timeinc.net/people/i/2014/database/140831/justin-bieber-300.jpg
http://www.pop.com.br/arquivos/M/Met/Metallicamusica15102012/732801_MetallicaINjpg.jpg

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Validade  vs.  Verdade  
88  

Argumento   Forma  simbólica  


1.   Se  Metallica  é  uma  banda,  então  Jus<n  Bieber  é  seu  vocalista   1.   P→Q  
2.   Metallica  é  uma  banda   2.   P  
∴ Jus<n  Bieber  é  vocalista  do  Metallica   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q  
Argumento  válido    
(modus  ponens)  
V   V   V   V   V  
V   F   F   V   F  
F   V   V   F   V  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Validade  vs.  Verdade  
89  

Argumento   Forma  simbólica  


1.   Se  Metallica  é  uma  banda,  então  Jus<n  Bieber  é  seu  vocalista   1.   P→Q  
2.   Metallica  é  uma  banda   2.   P  
∴ Jus<n  Bieber  é  vocalista  do  Metallica   ∴   Q  

Premissas   Conclusão  
P   Q   P→Q   P   Q   Conclusão  falsa  
V   V   V   V   V  
V   F   F   V   F  
F   V   V   F   V   Primeira  premissa  é  falsa  
F   F   V   F   F  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Validade  vs.  Verdade  
90  

Argumento   Forma  simbólica  


1.   Se  NY  é  uma  metrópole,  então  NY  possui  arranha-­‐céus   1.   P→Q  
2.   NY  possui  arranha-­‐céus   2.   Q  
∴ NY  é  uma  metrópole   ∴   P  

Premissas   Conclusão  
P   Q   P→Q   Q   P   Conclusão  Verdadeira  
V   V   V   V   V  
V   F   F   F   V  
F   V   V   V   F  
F   F   V   F   F   Argumento  Inválido  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Honesto  vs.  desonesto  
91  

—  Em  uma  ilha  deserta  há  dois  


náufragos  Michael  e  Sawyer  
a)  Michael  diz:  Sawyer  é  honesto  
b)  Sawyer  diz:  Michael  e  eu  somos  
opostos  

—  Quem  é  honesto?  


1.  Suponha  que  Michael  é  honesto  
2.  De  acordo  com  (a),  Sawyer  é  honesto  
3.  De  acordo  com  (b),  Michael  é  
desonesto  
4.  Michael  é  honesto  e  desonesto,  uma  
contradição!  

http://images3.wikia.nocookie.net/lostpedia/images/c/c6/2x02_michael_sawyer.JPG

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Honesto  vs.  desonesto  
92  

—  Em  uma  ilha  deserta  há  dois  


náufragos  Michael  e  Sawyer  
a)  Michael  diz:  Sawyer  é  honesto  
b)  Sawyer  diz:  Michael  e  eu  somos  
opostos  

—  Quem  é  honesto?  


1.  Suponha  que  Michael  é  desonesto  
2.  Então  (a)  é  falso,  e  Sawyer  é  desonesto  
3.  Então  (b)  é  falso  e  Sawyer  e  Michael  
são  iguais  
4.  Sawyer  e  Michael  são  desonestos  

http://images3.wikia.nocookie.net/lostpedia/images/c/c6/2x02_michael_sawyer.JPG

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Onde  está  o  carro?  
93  

Fatos  verdadeiros  
1.  Existe  um  carro  em  uma  dessas  caixas  
O  carro  está    
2.  Cada  caixa  possui  uma  proposição   nesta  caixa   1  
3.  Apenas  uma  proposição  é  verdadeira  

O  carro  não    
Qual  é  a  proposição   está  nesta  caixa   2  
verdadeira?  

Onde  está  o  carro?   O  carro  não    


está  na  caixa  1   3  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Onde  está  o  carro?  
94  

Fatos  verdadeiros  
1.  Existe  um  carro  em  uma  dessas  caixas  
O  carro  está    
2.  Cada  caixa  possui  uma  proposição   nesta  caixa   1  
3.  Apenas  uma  proposição  é  verdadeira  

O  carro  não    
Qual  é  a  proposição   está  nesta  caixa  
verdadeira?  

Onde  está  o  carro?   O  carro  não    


está  na  caixa  1   3  

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)


Exercício  
95  

Demonstre  a  validade  dos  seguintes  argumentos  


1.  (P  →  ¬Q)∧Q  →  ¬P  
2.  (P  →  ¬Q)∧(R  →  Q)  ∧  R  →  ¬P  
3.  P∧(P  →  Q)∧[P  →  (Q  →  R)]  →  R  
4.  (¬P  →  ¬Q)  ∧  Q  ∧  (P  →  Q)  →  Q  
5.  (¬P  →  ¬Q)  ∧  (P  →  R)  ∧  Q  →  R  
6.  [P  ∨(Q  ∧  R)]  ∧  (¬R  ∨  S)  ∧  (S  →  ¬T)  →  (T  →  P)  
 

Matemática Discreta Eduardo Freire Nakamura (nakamura@icomp.ufam.edu.br)

Você também pode gostar