Professional Documents
Culture Documents
Webconferencia 3 - 01/03/2012
Inferencia L
ogica
2012/1
Objetivos
Como?
Conceito fundamental: Consequencia l
ogica
Definicao de regras de inferencia basicas
Verificacao da validade de argumentos
Alexandre
Fundamentos de L
ogica Matem
atica
Argumento Valido
Dizemos que um argumento e valido se a conclusao e uma
consequencia logica das premissas.
Definic
ao 5.1: um argumento e uma sequencia P1 , P2 , P3 , . . . , Pn
de proposicoes, com n 1, na qual as n 1 primeiras proposicoes
Pi sao chamadas de premissas e a u
ltima proposicao, Pn , e
chamada de conclusao. Denota-se um argumento por:
P1 , P2 , P3 , . . . , Pn1 ` Pn
(1)
Fundamentos de L
ogica Matem
atica
Alexandre
Fundamentos de L
ogica Matem
atica
Regras de inferencia
Regra de infer
encia
p, p q |= q
q, p q |= p
p q, q r |= p r
p q, p |= q
p q, q |= p
p q |= p
p q |= q
p, q |= p q
p q |= p (p q)
p q, p q |= q
p |= p q
q |= p q
p q, r s, p r |= q s
p q, r s, q s |= p r
p q |= q p
p, p |= q
p q, q p |= p q
p q |= p q
p q |= q p
Nome da regra
modus ponens (MP)
modus tollens (MT)
silogismo hipot
etico (SH ou regra da cadeia)
silogismo disjuntivo (SD)
silogismo disjuntivo (variante)
simplificac
ao (S)
simplificac
ao (variante)
conjunc
ao (C)
absorc
ao (ABS)
de casos (*)
adic
ao (AD)
adic
ao (variante)
dilema construtivo (DC)
dilema destrutivo (DD)
contraposic
ao (CP)
inconsist
encia (I)
introduc
ao da equival
encia (IE)
eliminac
ao da equival
encia (EE)
eliminac
ao da equival
encia (variante)
Alexandre
Fundamentos de L
ogica Matem
atica
MT em P1 e P2
SD em P1 e P2
d) silogismo hipot
etico
P1: (s t) (r q)
P2: (r q) p
C: (s t) p
SH em P1 e P2
e) dilema construtivo
P1: p r
P2: q s
P3: p q
C: (r s)
DC em P1, P2 e P3
f) dilema destrutivo
P1: p (r q)
P2: (r q) s
P3: q s
C: (p q) (p q)
DD em P1, P3 e P2
Alexandre
Fundamentos de L
ogica Matem
atica
(2)
Alexandre
Fundamentos de L
ogica Matem
atica
Alexandre
Fundamentos de L
ogica Matem
atica
Alexandre
Fundamentos de L
ogica Matem
atica
(3)
(4)
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
p
F
F
F
F
V
V
V
V
q
F
F
V
V
F
F
V
V
r
F
V
F
V
F
V
F
V
(p q)
V
V
F
F
V
V
V
V
(r q)
F
F
V
V
V
V
V
V
(p q) (r q) r
F
F
F
F
V
F
V
F
Alexandre
Fundamentos de L
ogica Matem
atica
P
V
V
V
V
V
V
V
V
Alexandre
Fundamentos de L
ogica Matem
atica
(1)
(2)
(3)
(4)
pq
pr
p
q
premissa
premissa
simplificac
ao
modus ponens
Alexandre
2
1, 3
Fundamentos de L
ogica Matem
atica
Alexandre
Fundamentos de L
ogica Matem
atica
(5)
Alexandre
1
3, 4
1, 5
6
2, 7
4, 8
Fundamentos de L
ogica Matem
atica
(p q) r
r s
t u
t
s u
u
s
r
(p q)
p q
premissa
premissa
premissa
premissa
premissa
modus ponens
silogismo disjuntivo
modus tollens
modus tollens
De Morgan
Alexandre
3, 4
5, 6
2, 7
1, 8
9
Fundamentos de L
ogica Matem
atica
(6)
Alexandre
2, 3
1
4
5, 6, 7
8
Fundamentos de L
ogica Matem
atica
(7)
Alexandre
Fundamentos de L
ogica Matem
atica
(8)
Alexandre
Fundamentos de L
ogica Matem
atica
Conclusoes
Alexandre
Fundamentos de L
ogica Matem
atica