Inferencia logica Flashcards
1
Q
p entonces q / p/q
A
ponendo ponens
2
Q
ponendo ponens
A
pp
3
Q
p eotnces q/no q/no p
A
Tolendo tollens
4
Q
simplificacion
A
s
5
Q
Tollendo tollens
A
tt
6
Q
no(no p)
A
doble negación
7
Q
dobre negacion
A
dn
8
Q
p y q/p ;p y q/q
A
simplificacion
9
Q
p/q/ p y q
A
adjuncion
10
Q
adjuncion
A
A
11
Q
p entonces q/q entonces r/ p entonces r
A
silogismo hipotético
12
Q
silogismo hipotético
A
hs
13
Q
ley de adiccion
A
la
14
Q
p/p o q
A
ley de dicción
15
Q
no(q y p)/no q o no p
A
ley de Morgan
