atmicos
moleculares
p q
V V
V F
DISYUNTOR: signo que representa la partcula o del lenguaje ordinario o cualquier otra que
encierre la idea de disyuncin. Para representar la disyuncin empleamos el signo V.
Definicin del disyuntor: una disyuncin es falsa cuando sus dos trminos son falsos, verdadera en
los dems casos.
p
pVq
V V
V F
IMPLICADOR: Es el signo que representa las partculas si.... entonces del lenguaje ordinario o
cualesquiera otras que encierren la idea de condicin, tales como slo si... entonces, cuando....
entonces, etc. Para representar la implicacin emplearemos el signo . En la formalizacin de
enunciados la partcula si introduce el antecedente, mientras que la partcula entonces (que a
veces puede ir elptica, es decir, no aparecer) introduce el consecuente. As, en un enunciado como
si acierto una quiniela, me har rico, acierto una quiniela (p) es el antecedente, y es condicin
suficiente, que no necesaria, de que se d me har rico (q), que se convierte de esta manera en el
consecuente; es decir, si se da el antecedente debe darse el consecuente; pero el consecuente puede
darse aunque no se d el antecedente: yo puedo hacerme rico sin que haya acertado una quiniela,
por ejemplo por una herencia, o por la lotera etc.
Se formalizara as: p q
Condicin suficiente quiere decir que exista al menos un caso posible de que me pueda hacer
rico si me toca la quiniela, condicin necesaria quiere decir que slo me har rico si acierto la
quiniela, es decir que para que se de el consecuente tiene necesariamente que darse el antecedente.
Cuando a la partcula si se le antepone la partcula slo: slo si en tal caso se invierte el
orden:
slo si acierto la quiniela me har rico se formalizara as: q p
Definicin de implicador: Una implicacin es falsa cuando el antecedente es verdadero y el
consecuente falso, y verdadera en todos los dems casos, Sus valores de verdad son:
pq
pq
[O me apruebas o lloro]
p vq
pvp
Usaremos la negacin siempre que aparezca en el enunciado y, como en este ltimo caso, cuando el
segundo enunciado sea necesariamente lo contrario del primero.
1.5 Deduccin
Todas las ciencias estn compuestas en ltima instancia por juicios, y habamos dicho que un juicio
es una proposicin o enunciado susceptible de ser verdadero o falso. Los juicios a su vez, se unen
formando razonamientos. Un razonamiento es un proceso en el que, a partir de unas premisas o
enunciados, se obtiene por inferencia una conclusin. La lgica, en su aspecto deductivo, posee
unos mecanismos por medio de los cuales es capaz de determinar si el razonamiento es vlido o no;
es decir, si de la unin de los trminos de las premisas se puede concluir lgicamente la conclusin.
Para construir una deduccin formal procedemos de la siguiente manera:
Escribimos primero los supuestos iniciales o premisas designndolos con una lnea horizontal a la
izquierda del nmero correspondiente teniendo en cuenta que su orden de colocacin es indiferente.
La conclusin se escribe en la parte derecha de la lnea correspondiente al ltimo supuesto
utilizando el smbolo denominado deductor y que se lee por tanto.
Ejemplo: (p t) (r s), q t, q w, luego p s
1 (p t) (r s)
2 q t
3 q w
p s
1 (p t) (r s)
2 q t
3 q w p s
4 q
Simp 3
5 t
MP 2,4
En caso de que no se pudieran aplicar las reglas de inferencia sobre premisas inciales, o si, como en
el presente ejemplo, una vez aplicadas no se hubiera obtenido la conclusin, entonces, y con miras a
esta, se introducen los supuestos subsidiarios necesarios, que debern ser cancelados y se contina
aplicando las reglas de inferencia hasta obtener la conclusin deseada:
1 (p t) (r s)
2 q t
3 q w p s
4 q
Simp 3
5 t
MP 2,4
6 p
7 p t Prod 6,5
8 r s MP 1,7
9 s
Simp 8
10 p s TD 6-9
Para designar los supuestos subsidiarios utilizaremos un corchete colocado a la parte izquierda, que
comienza con la lnea donde se introduce el supuesto subsidiario y termina en la lnea donde se
cancela dicho supuesto.
Hay que tener en cuenta que cuando se introducen dos o ms supuestos subsidiarios, los corchetes
de cancelacin no deben interferirse:
SI
SI
NO
NO
Puede ocurrir que se nos pida obtener una conclusin sin que para ello dispongamos de premisas.
En tal caso debemos comenzar por introducir cuantos supuestos subsidiarios sean necesarios para
obtener la conclusin, debiendo ser cancelados correctamente. As:
p (q p q)
1p
2q
3 p q Prod 1,2
4 q p q TD 2,3
5 p (q p q) TD 1,4
Observa que se debe suponer en el orden de la conclusin, primero p despus q e ir cancelando
en la medida en que van apareciendo en la conclusin q cuando implica p q y p cuando
implica q p q.
Reglas bsicas:
Las reglas bsicas son de dos tipos: Reglas de introduccin y reglas de eliminacin. Como los
conectores principales son cuatro (,v,,) y hay dos reglas por conector, una para introducirlo y
otra para eliminarlo tenemos un total de ocho reglas bsicas que son las siguientes:
a) Reglas bsicas de implicacin:
1. Modus Ponens (MP)
AB
A
B
Esta regla nos permite eliminar una implicacin: si en una lnea de una derivacin contamos con
una implicacin, AB, y en otra lnea tenemos el antecedente, A, de dicha implicacin, entonces
podemos escribir en una nueba lnea su consecuente, B.
2. Teorema de Deduccin (TD)
A
.
.
.
B
AB
Esta regla nos permite introducir el implicador, y nos dice que si en una lnea de una derivacin
introducimos un supuesto, A, del que derivamos la conclusin B en otra lnea, entonces podemos
escribir AB en una nueva lnea.
b) Reglas bsicas de la conjuncin:
3. Simplificacin (Simp) A B (Simp) A B (Simp)
A
B
Esta regla nos permite eliminar el conjuntor: si en una lnea de una derivacin tenemos una
conjuncin de dos enunciados, A B, podemos escribir cualquiera de sus miembros en una nueva
lnea.
4. Producto ( Prod.)
A
B
A B
Esta regla permite introducir el conjuntor: si en una lnea de una derivacin tenemos un enunciado,
A, y en otra lnea tenemos un enunciado, B, entonces podemos escribir su conjuncin, A B, en
una nueva lnea.
c) Reglas bsicas de disyuncin:
5. Adicin (Ad)
A
Av B
A
BvA
Esta regla nos permite introducir el disyuntor, y nos dice que si en una lnea de una derivacin,
tenemos un enunciado, A, entonces podemos escribir en una nueva lnea dicho enunciado unido
mediante el disyuntor a otro enunciado cualquiera, as A v B.
A
A
Esta regla permite eliminar el negador, y nos dice que si en una lnea de una derivacin tenemos un
enunciado con doble negacin, entonces podemos escribir en una nueva lnea el mismo enunciado
afirmado.
8. Reduccin al absurdo (Abs)
A
B B
A
Esta regla permite introducir el negador, y nos dice que si en una lnea de una derivacin
introducimos un supuesto A, y a partir del l obtenemos como conclusin una contradiccin B B
en otra lnea, entonces podemos escribir la negacin de dicho supuesto, A, en una nueva lnea.