Académique Documents
Professionnel Documents
Culture Documents
INFERENCIA
HISTORIA
pq
(premisa)
(premisa)
(conclusin)
pq
q
__________________________________________________
p
Luego, no llueve
p p
El esquema representa, p doblemente negada equivale a p. Siguiendo el
esquema de una inferencia por pasos, la representaramos as:
p
No ocurre que Ana no es una estudiante
_____________________________________________________
p
ADJUNCIN Y SIMPLIFICACIN
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjuncin , podemos unirlos en una sola premisa utilizando el operador (conjuncin).
p
Juan es cocinero
q
Pedro es polica
___________________________________
pq
Simplificacin (S)
obviamente, es la operacin inversa. Si disponemos de un enunciado formado por dos miembros unidos
por una conjuncin, podemos hacer de los dos miembros dos enunciados afirmados por separado.
pq
____________________________________________
p
q
La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos
enunciados. Ahora bien, en esa eleccin, forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden
ser falsos.
pVq
q
No he ido de compras
__________________________________________________________
p
a
He comprado manzanas
______________________________________________________________
aVb
qr
Si la bola blanca golpea a la bola negra, la bola negra se mueve
______________________________________________________________________
pr
Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos miembros
sean los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de
disyuncin, cuyos miembros seran los consecuentes de las dos implicaciones. Lgicamente, si
planteamos una eleccin entre dos causas, podemos plantear una eleccin igualmente entre sus
dos posibles efectos, que es el sentido de esta regla.
pq
r s
pV r
Llueve o la tierra tiembla
____________________________________________________
qV s
SIMPLIFICACIN DISYUNTIVA
(SD)
pVq
pr
qr
____________________________________________________
r
Luego, repites
LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una
conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no
cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin
importar en qu orden se presente esta eleccin. As pues,
pqqp
p y q equivale a q y p
pVqqVp
p q equivale a q p
Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una
conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de afirmacin
y negacin de los trminos de la disyuncin/conjuncin as como de la propia operacin en conjunto,
como podemos observar aqu:
pq
___________
(p V q)
pVq
____________
(p q)