MODUS TOLLENDO PONENS.

Grupo:

Fecha:

Disyuncin en Lgica.

En el lenguaje corriente la palabra o algunas veces quiere significar que se presenta una u otra de dos cosas, pero no las dos a la vez. Este es el sentido excluyente. Ejemplo: Juan vive en el norte de Espaa o vive en el sur de Espaa. En lgica daremos un significado ms amplio a la disyuncin. Se denomina sentido incluyente cuando la palabra o supone que por lo menos un miembro de la disyuncin se presenta y quiz ambos. Ejemplo: Los periodistas o fotgrafos han de entrar por aqu. Los periodistas han de entrar por aqu, o los fotgrafos han de entrar por aqu. En la disyuncin en sentido incluyente por lo menos es cierto un miembro de la disyuncin y pueden serlo ambos. Consideremos la sig. Premisa: O la produccin aumenta o el precio aumenta. Veamos si se puede imaginar una segunda premisa de manera que de las dos se pueda deducir una conclusin valida. La conclusin ser vlida cuando resulte de las premisas utilizando una buena regla de inferencia; y una regla es buena si equivale simplemente a asegurar que siempre que las premisas sean proposiciones ciertas la conclusin que resulta por aquella regla es una proposicin cierta. Esto significa que reglas validas de deduccin nunca permiten pasar de premisas ciertas a conclusiones falsas. La regla anterior se denomina MODUS TOLLENDO PONENS.

El nombre latino dice que negando (tollendo) un miembro de la disyuncin se afirma (ponens) el otro miembro. Se puede expresar de la siguiente manera. De la premisa P v Q Y la premisa Se concluye ~P Q o PvQ ~Q P

Nombre:

Materia:

MODUS TOLLENDO PONENS.

Grupo:

Fecha:

La abreviatura para modus tollendo ponens es TP. Ejemplo 1 premisa O esta sustancia contiene hidrogeno o contiene oxigeno. 2 premisa Esta sustancia no contiene hidrogeno Por medio del TP se concluye: Esta sustancia contiene oxigeno 1) P v Q p 2) ~P p 3) Q TP 1,2 En el ejemplo anterior se observa que una premisa niega una parte de la disyuncin. La conclusin afirma precisamente la otra parte. No importa cul sea el miembro negado. La disyuncin dice que por lo menos un miembro se cumple; por tanto, si se encuentra que uno de los miembros no se cumple, se sabe que el otro ha de cumplirse.Esta regla no est limitada a proposiciones atmicas, la disyuncin de igual manera contiene proposiciones moleculares y para mayor comprensin se necesitan parntesis para indicar cul es el termino dominante Ejemplos: a) (1) Q v R (2) R (3) Q P P TP1 ,2 b) (1) (P^Q) v S P (2) S (3) P^Q P TP 1,2

Al presentarse casos donde la premisa es una negacin P de igual manera es una premisa al aplicar modus tollendo ponens. Ejemplos: a) (1) Q v R P (2) R (3) Q P TP 1,2 b) (1) (P^Q) v S P (2) P^Q (3) S P TP 1,2

c) (1) S v T P (2) S (3) T

Nombre:

P TP 1,2
Materia: 2

MODUS TOLLENDO PONENS.

Grupo:

Fecha:

Ejercicio. 1) ~S v T

2)~P v ~Q

3) (P ^ Q) v (R ^ S)

A. Que conclusin, en forma de proposicin escrita en castellano, 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 est en el golfo de Mxico o est en el ocano Atlntico. No est 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.

5. O hace frio y llueve o el festival se celebrar al aire libre. Ni hace frio ni llueve. B. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas usando el modus tollendo ponens: 1. (1) Q v R (2) R 2. (1) T v ( P Q) (2) T 3. (1) T v R (2) R

Nombre:

Materia:

MODUS TOLLENDO PONENS.

Grupo:

Fecha:

4. (1) P v Q (2) Q

5. (1) (S & T) v R (2) (S & T)

6. (1) (P & Q) v S (2) S

7. (1) Q v R (2) Q

8. (1) T (2) T v S

9. (1) (P & Q) (2) T v (P & Q)

10. (1) T v U (2) T

11. (1) S v T (2) T

12. (1) (S & R) v T (2) S & R

13. (1) (P Q) v R (2) P Q

Nombre:

Materia:

MODUS TOLLENDO PONENS.

Grupo:

Fecha:

C. Demostrar que las conclusiones son consecuencia de las premisas dadas en los ejercicios que siguen. Dar una demostracin completa. 1. (1) (2) (3) Demostrar PvQ P T P QT P 2.Demostrar:B (1) A v B P (2) A E P (3) E P 3.Demostrar:M (1) S & P P (2) M v N P (3) S N P

4. Demostrar: A &B (1) B P (2) B D P (3) A v D P

5. Demostrar: H (1) S P (2) S v (H v G) P (3) G P

6. Demostrar: P (1) T P v Q (2) T (3) Q

P P P

7. Demostrar: R (1) Q v S (2) S (3) (R & S) Q

P P P

Nombre:

Materia:

MODUS TOLLENDO PONENS.

Grupo:

Fecha:

D. Primero simbolizar las premisas y conclusiones siguientes. Despus demostrar que las conclusiones son consecuencia lgica de las premisas. Conservar las proposiciones atmicas con sus 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 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 tanto, 3-2=1

3. Si 0x entonces xy O x=y o x=z Por tanto, x=0

4. O x=0 o x=y Si x=y entonces x=z Por tanto, x=0

5. Si x=y entonces x=z Si x=z entonces x=w O x=y o x=0 Si x=0 entonces x+u=1 Por tanto, x=w

Nombre:

Materia:

MODUS TOLLENDO PONENS.

Grupo:

Fecha:

Nombre:

Materia: