INSTITUTO TECNOLOGICO SUPERIOR

DEL OCCIDENTE DEL ESTADO DE

HIDALGO

MODUS TOLLENDO
PONENS
ING. SISTEMAS COMPUTACIONALES

OCTUBRE 2013

 Consideremos la siguiente preposicin

como premisa:
O la produccion aumenta o el precio
aumenta.

 Veamos si se puede imaginar la siguiente premisa de

manera que las dos se pueda deducir una conclusin
valida. La conclusin ser valida cuando resulte de las
premisas utilizando una <<buena>> regla de inferencia; y
una premisa sean preposiciones ciertas la conclusin que
resulta por aquella regla es una proposicin cierta. Esto
significa que las reglas validas de deduccin nunca
permiten pasar de premisas ciertas a conclusiones falsas

 Modus tollendo ponens. La regla anteriormente sugerida

es la que se denomina modus tollendo ponens. Una vez
mas, el nombre latino dice algo acerca de la regla. Dice
que negando (tollendo) un miembro de la disyuncin se
afirma (ponens) el otro miembro.
Simblicamente. El modus tollendo ponens
De la premisa
y la premisa
se puede concluir

PVQ
P
Q

De la premisa
y de la premisa
se puede concluir

PVQ
Q
P

 La abreviatura modus tollendo ponens es TP.

Aadiendo parntesis, modus tollendo ponens se
puede escribir
De
y
se deduce

(P) V Q
(P)
(Q)

De
y
se deduce

(P) V (Q)
(Q)
(P)

 Supongamos que se tiene como premisa la

disyuncin:
O esta sustancia contiene hidrogeno o
contiene oxigeno

 La segunda premisa dice:

Esta sustancia no contiene hidrogeno.
Por medio de el modus tollendo ponens se
puede concluir:
Esta sustancia contiene oxigeno.

 La demostracin de la conclusin es:

(1) P V Q
(2) P
(3) Q

P
P
TP 1,2

 Obsrvese que la premisa (la negacin) niega una parte

de la disyuncin . La conclusin afirma precisamente la
otra parte. No importa cual sea el miembro negado, el
derecho o el izquierdo. La disyuncin dice que por lo
menos un miembro se cumple; por lo tanto, si se
encuentra que uno de los miembros no se cumple, se
sabe que el otro ha de cumplirse .

 La disyuncin en lgica significa que por lo menos una de

las dos proposiciones es cierta y quiz ambas. Supuesto
que tiene una premisa que dice que un miembro de la
disyuncin es cierto, se puede concluir algo sobre el
otro miembro? Por ejemplo, considere la proposicin
anterior sobre el hidrogeno y el oxigeno. Si la premisa
hubiera sido << la sustancia tiene hidrogeno>> , que se
podra concluir del oxigeno, en caso de concluir algo? No
se podra concluir nada

EJEMPLOS

 Son ejemplos del uso la regla modus tollendo ponens .

Estas reglas no estn limitadas a proposiciones atmicas.
Igual que los otros tipos de proposiciones, la disyuncin
tiene lugar entre las proposiciones moleculares se
necesitan parntesis para indicar cual es el termino de
enlace domnate.

EJEMPLOS
a, (1) Q V R P
(2) R
P
(3) Q
TP 1,2

b, (1) (P & Q) V S
(2) S
(3) P & Q

P
P
TP 1, 2

c, (1) S V T P
(2) T
P
(3) S
TP 1,2

d, (1) P V Q
(2) P
(3) Q

P
P
TP 1,2

e, (1) (P & Q) V (R & S)

(2) (P & Q)
(3) R & S

P
P
TP 1,2

Se usa tambin el echo de ser P la negacin de P al aplicar

modus tollendo ponens, como se muestra en los ejemplos
siguientes.
a.(1) Q V R P
(2) R
P
(3) Q
TP 1,2

b.(1) (P & Q) V S P
(2) P & Q
P
(3) S
TP 1,2

c.(1) S V T P
(2) S
P
(3) T
TP 1,2

EJERCICIOS
A. Qu conclusin. En forma de proposicin escrita en
castellanos, se puede deducir de cada uno de los conjuntos de
premisas siguientes utilizando la regla TP?
1. Este hombre o es un abogado o es un poltico. No es un
abogado
2. El puerto de Nueva Orleans o esta en el golfo de Mxico o
esta en el ocano Atlntico. No esta en el ocano Atlntico.
3. O la energa interna de un tomo puede cambiar con
continuidad o cambia solo a saltos. La energa interna de un
tomo no puede cambiar con continuidad.
4. Juan o ha terminado el libro o no ha ido a devolverlo hoy a
la biblioteca. Juan no ha terminado el libro

B. deducir una conclusin de cada uno de los siguientes

conjunto de premisas usando el modus tollendo ponens.
1 (1) Q V R
(2) R
2 (1) T V (P
(2) T

P
P
Q) P
P

5 (1) (S & T) V R P
(2) (S & T)
P
6 (1) (P & Q) V S
(2) S

3 (1) T V R P
(2) R
P
4 (1) P V Q
(2) Q

P
P

9 (1) (P & Q)
P
(2) T V (P & Q) P
10 (1) T V U
(2) T

P
P

EJERCICIOS
7 (1) Q V R
(2) Q

P
P

11 (1) S V T
(2) T

8 (1) T
(2) T V S

P
P

12 (1) (S & R) V T P
(2) S & R
P

13 (1) (P Q) V R
(2) P Q)

P
P

P
P

C. Demostrar que las conclusiones son consecuencia de las

premisas dadas en los ejercicios que siguen. Dar una
demostracin completa.
1. Demostrar: P
(1) P V Q P
(2) T
P
(3) Q T P
2. Demostrar: B
(1) A V B P
(2) A E P
(3) E
P

3. Demostrar : A & B
(1) B
P
(2) B D
P
(3) A V D
P
4.Demostrar: H
(1) S
P
(2) S V (H V G) P
(3) G
P

EJERCICIOS
D. Primero simbolizar las premisas y conclusiones
siguientes. Despus demostrar que las conclusiones son
consecuencia lgica de las premisas. Recurdese que
cuando las proposiciones atmicas estn ya simbolizadas
por smbolos matemticos. No hace falta utilizar letras
musculas. Conservar las proposiciones atmicas con los
smbolos matemticos y simbolizar los trminos de enlace

1. O x=y o x=z
si x=z entonces x=6
no es x=6
por lo tanto x=y
2. A la vez 1+1 =2 y 2+1=3
O 3-2=1 o no ocurre que 2-1=1
si 1+1=2 entonces 2-1=1
por lo tanto, 3-2=1
3.Si 0=x entonces x=y
O x=y o x=z. x=z
Por lo tanto, x=0

GRACIAS POR SU ATENCION