Académique Documents
Professionnel Documents
Culture Documents
com (julho/09)
1. TABELA VERDADE
2. EQUIVALNCIA LGICA
Conjuno
... e ... [ ^ ]
Disjuno
... ou ... [ v ]
PeQ=QeP
P e P = P ou P = P
P e (P ou Q) = P
P ou (P e Q) = P
Disj. Exclusiva
Ou ... ou [ v ]
Bicondicional
Se e somente se []
Condicional
Se... ento ... [ ]
Nenhum A B = Todo A no B
3. DIAGRAMAS DE VENN
COM NMEROS
3
2
e(^)
ou ( v )
se.. .ento...
( )
ou...ou... ( v )
se e
somente se
( )
TAUTOLOGIA
CONTRADIO
CONTINGNCIA
ltima coluna
da
Tabela Verdade
V
F
h valores V e F
NEGAO
Conjuno
Disjuno
Condicional
Bicondicional
Todo A B
Algum A B
~ (p ^ q)
~ (p v q)
~ (p q)
~ (p q)
~p v ~q
~p ^ ~q
p ^ ~q
(p ^ ~q) v (q ^ ~p)
Algum A no B
Nenhum A B
P Q = ~Q ~P
P Q = ~P ou Q
PQ=QP
P Q = (P Q) e (Q P)
Todo A B = Nenhum A no B
3
2
Algum A
no B
Todo A B
Nem todo B A
Algum B no A
B
Algum Algum B
A B no A
Nenhum A B
Nenhum B A
(TIPO 3) CONTRADIES
duas frases, ver se h contradio
entre elas
Ex: Todo espio no vegetariano e
algum vegetariano espio
(TIPO 5) 2 FRASES, 3 CONJUNTOS
- relao de 2 em 2 conjuntos.
- montam-se trs alternativas: algum,
nenhum ou total contato entre eles.
4. DIAGRAMA LGICO
Resoluo:
5. LGICA DA ARGUMENTAO
Utilizado quando (observar nas premissas):
1 Diagramas
2 Tabela-Verdade
3 premissas = V
testar concluso= V
4 premissas = V
concluso = F
Q
V
F
V
F
P1: PQ
V
F
V
V
P2: ~P
F
F
V
V
C: ~Q
F
V
F
V
Contradio!
(b)
se VL(~P) = V, ento VL(P) = F
se VL(P v Q) = V e VL(P) = V, ento VL(Q) = V
(c) como VL(Q) = V, ento VL(C)=V : argumento vlido
6. ESTRUTURAS LGICAS
[1 TIPO]
Uma das premissas apresenta somente uma forma de ser verdadeira
[proposio simples ou composta tipo conjuno (P1 e P2)]
Resoluo: 3 Mtodo de Validao de Argumentos
a) considerar VL(Pi)=V, e descobrir os VLs das proposies simples.
b) a partir dos VLs das proposies simples, encontrar qual a
alternativa que traz uma proposio com VL verdadeiro.
[2 TIPO]
Todas as premissas possuem mais de uma forma de ser verdadeira.
H dois mtodos para sua resoluo
1 mtodo: semelhante ao tipo anterior com uma especificidade.
1. considerar todas as premissas verdadeiras;
Fu
V
F
F
F
F
F
D
V
V
F
F
F
F
~Fu
V
V
V
F
F
F
~B
V
V
V
V
F
F
D
V
V
V
V
V
F
Contradio! Fu e ~Fu
OK!
Contradio! D, Fu e ~Fu
Contradio! D, Fu e ~Fu
Contradio! D, Fu e ~Fu
Contradio! Fu e ~Fu
7. CONTAGEM
(A) PERMUTAO: n elementos em n posies diferentes.
Arn =
n!
(n r )!
C rn =
n!
r!.(n r )!
C rn =
(n + r 1)!
r!.(n 1)!