quinta-feira, 27 de setembro de 2012

Lógica Matemática - Aula 4 - Inferências e Equivalências Notáveis



3

6

4
1

7

5
2

P
è  
Q
^
R
è  
¬
Q
ð   
R
è  
¬
P
0
1
0
1
0
1
1
0
1
0
1
1
0
0
1
0
1
1
1
1
0
1
1
1
1
0
0
1
1
1
0
1
0
1
1
0
1
1
0
0
1
1
0
1
0
0
1
1
1
1
1
0
1
0
0
0
0
1
1
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1
1
0
0
1
1
1
1
1
0
1
0
1
1
0
1
0
1
1
1
1
0
1
0
0
1
1
1
0
0
1
Postado por às

Nenhum comentário:

Postar um comentário

Assinar: Postar comentários (Atom)