Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Ejercicios Tollendo Ponens PDF

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 12

PRIMER CURSO DE LGICA MATEMATICA

MODUS TOLLENDO PONENS

YUVIMIR FIERRO GALINDO


MAURICIO BUENAVENTURA CASTELLANOS
LINDA RAMREZ LOSADA

UNIVERSIDAD COOPERATIVA DE COLOMBIA UCC


INGENIERA CIVIL, PRIMER SEMESTRE
VILLAVICENCIO, 1 DE SEPTIEMBRE DE 2014

MODUS TOLLENDO PONENS

GRUPO NMERO TRES


INTEGRANTES:
YUVIMIR FIERRO GALINDO
MAURICIO BUENAVENTURA CASTELLANOS
LINDA RAMREZ LOSADA

DOCENTE
ERIKA VEGA ESCOBAR

LGICA MATEMATICA
PRIMER SEMESTRE DE INGENIERA CIVIL

UNIVERSIDAD COOPERATIVA DE COLOMBIA UCC


INGENIERA CIVIL, PRIMER SEMESTRE
VILLAVICENCIO, 1 DE SEPTIEMBRE DE 2014

OBJETIVOS GENERALES

Identificar las leyes de inferencia lgica entre ellas el modus tollendo ponens, y
desarrollar, comprender y analizar sus diferentes subtemas.
Aprender y diferenciar las reglas de inferencia lgica, para poderlas aplicar en la
solucin de problemas propuestos.

OBJETIVOS ESPECIFICOS

Entender las reglas de la inferencia lgica


Comprender la aplicacin de las reglas de inferencia lgica para la demostracin de
soluciones.
Aplicar las leyes de la inferencia lgica para relacionarlas con casos de la vida real.
Analizar las premisas que integran un problema, para disear la estrategia de solucin,
aplicando las reglas de inferencia para llegar a la demostracin solicitada.
Aplicar las proposiciones en el trabajo de las reglas de inferencia lgica.

Modus Tollendo Ponens


El nombre latino dice algo acerca de la regla. Dice que negando (tollendo) un miembro de una
disjuncin se afirma (ponens) el otro miembro.
Simblicamente, el modus tollendo ponens se puede expresarDe la premisa P V Q
y la premisa P
se puede concluir Q
De la premisa P V Q
y la premisa Q
se puede concluir P
La abreviatura para modus tollendo ponens es TP.
Aadiendo parntesis, modus tollendo ponens se puede escribir:
De (P) V Q
y (P)
Se deduce ( Q)
De (P) V (Q)
y (Q)
Se deduce (P)
Supngase que se tiene como premisa la disyuncin:
O esta sustancia contiene hidrgeno o contiene oxgeno
La segunda premisa dice:
Esta sustancia no contiene hidrgeno.
Por medio del modus tollendo ponens se puede concluir:
Esta sustancia contiene oxgeno.
Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo anterior.
Sea:
P = Esta sustancia contiene hidrgeno
Q = Esta sustancia contiene oxgeno.
La demostracin de la conclusin es:
Obsrvese que una premisa (la negacin) niega una parte de la disjuncin. La conclusin afirma
precisamente la otra parte. No importa cul sea el miembro negado, el derecho o el izquierdo.
La disjuncin 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.
Una disjuncin en Lgica significa que por lo menos una de las dos proposiciones es cierta y
quiz ambas. Supuesto que se tiene una premisa que dice que un miembro de la disjuncin es
cierto, se puede concluir algo sobre el otro miembro? Por ejemplo, considrese la proposicin
anterior sobre oxgeno e hidrgeno. Si la segunda premisa hubiera sido La sustancia tiene

hidrgeno, qu se podra concluir del oxgeno, en caso de poder concluir algo? No se podra
concluir nada.
Vanse los ejemplos que siguen. Son ejemplos del uso de la regla modus tollendo ponens. Estas
reglas no estn limitadas a proposiciones atmicas.
Igual que los otros tipos de proposiciones, la disjuncin tiene lugar entre proposiciones
moleculares de igual manera que entre proposiciones atmicas.
Obsrvese que en muchas proposiciones se necesitan parntesis para indicar cul es el trmino
de enlace dominante.
(1) P V Q
p
(2) P
p
(3) Q
TP 1, 2

DEDUCCIONES PROPOSICIONALES
La regla de las premisas se ha utilizado ya al principio de las deducciones. Como esta regla es
familiar, la P para la regla de premisas se omitir corrientemente cuando se da un problema en
forma simbolizada. En deducciones formales, sin embargo, se escribir una P antes de cada
premisa dada, para indicar que las lneas estn justificadas por la regla de premisas.
Resumiendo, se empieza con un conjunto de premisas y el objeto es pasar de estas premisas a
una conclusin particular. Cada movimiento que se hace, cada lnea que se escribe debajo, ha
de ser permitido por una regla de inferencia definida.
Hemos aprendido a efectuar deducciones simples. Ahora se considerarn algunas deducciones
complicadas.
Consideremos el razonamiento del siguiente ejemplo:
Ejemplo a.
Si la ballena es un mamfero entonces toma oxgeno del aire. Si toma su oxgeno del aire,
entonces no necesita branquias. La ballena es un mamfero y vive en el ocano. Por tanto, no
necesita branquias.
La conclusin que se desea demostrar o deducir es la proposicin no necesita branquias. (La
palabra, por tanto, pone de manifiesto que la proposicin final es la conclusin del
razonamiento.)
El primer paso en este proceso es simbolizar el razonamiento de manera que la deduccin sea
perfectamente clara.
Sea
W= La ballena es un mamfero
0 = Toma su oxgeno del aire
G= Necesita branquias
H= Habita en el ocano.
Entonces
la primera premisa es:
WO
la segunda premisa es:

OQ

la tercera premisa es:

W&H

La conclusin es:

La deduccin proposicional se puede escribir como se indica a continuacin:


Los tres primeros pasos son premisas. Los pasos 4, 5 y 6 estn justificados por reglas de
inferencia aplicadas a lneas anteriores. A la derecha de cada paso o lnea, se indica la manera
como se justifica aquella lnea. Por ejemplo, puesto que las tres primeras lneas son premisas,
se escribe la letra P a la derecha de aquellas lneas. Estas lneas son dadas y no deducidas y, por
tanto, no necesitan ninguna otra justificacin. La lnea 4 se deduce de la lnea 3 por la regla de
simplificacin. Por tanto, se escribe la abreviatura de la regla S a la derecha de aquella lnea,
seguida del nmero de la lnea de la que se ha deducido. La lnea 5 se obtiene de las lneas 1 y 4
por modus ponendo ponens. Considerando la lnea 1, W > O, y la lnea 4, W, se puede ver
rpidamente que modus ponendo ponens nos permite obtener O- Este movimiento se indica
por la abreviatura del nombre de la regla PP, y el nmero de las lneas de las que se ha deducido
la lnea 5. De forma anloga se indica que la lnea 6 se ha deducido por modus ponendo ponens
de las lneas 2 y 5. Puesto que la lnea 6 representa la conclusin deseada, objetivo de nuestra
deduccin, la deduccin es completa.
Se ha demostrado que G es consecuencia lgica de las tres premisas del razonamiento. As,
puesto que G representa la proposicin No necesita branquias en el razonamiento puesto
como ejemplo se ha demostrado que la conclusin de aquel razonamiento es vlida. Este es un
ejemplo de una deduccin formal.
1)
2)
3)
4)
5)
6)

WO
O G
W&H
W
O
G

P
P
P
S3
PP 1,4
PP 2,5

A fin de que cada paso de la demostracin resulte perfectamente claro a todos aquellos que lo
lean, nos atendremos estrictamente a la forma indicada para hacer deducciones. No se olvide
que un objetivo de la Lgica es ser preciso. Para estar seguro de la precisin, antese cada paso
que se efecte y el por qu est permitido. Para cada paso, escrbase primero el nmero de
aquella lnea, despus la proposicin misma, y finalmente lo que justifica aquel paso por la
abreviatura de la regla que lo ha permitido. Si el paso est deducido de otras lneas por una
regla, entonces adase el nmero o nmeros de las lneas de las que se ha deducido.

MS SOBRE PARNTESIS
Los parntesis indican el agrupamiento en proposiciones moleculares, en las que distintas
agrupaciones pueden dar lugar a distintos significados. Por ejemplo, una proposicin
simbolizada en la forma:
(A & B) V C
No tiene el mismo significado que una proposicin simbolizada en la forma:
A & (B V C).

En el segundo agrupamiento se est cierto de que se presenta A , y se est cierto tambin que
o B o C se presenta. En el primer agrupamiento no se est cierto de ninguna de las proposiciones.
Slo se sabe que o A & B o C se presenta.
Al deducir conclusiones de conjuntos de premisas es esencial el uso correcto de los parntesis,
pues de otra forma no se puede estar seguro de la aplicacin de las reglas. Sea, por ejemplo, la
proposicin:
A & Q V R.
Sin parntesis que indiquen el agrupamiento, no se puede decir cul es el trmino de enlace
dominante ni se puede decir si la proposicin es una conjuncin o una disjuncin. No se puede
saber, pues, si se puede utilizar la ley de simplificacin o quiz el modus tollendo ponens.
Se puede indicar el trmino de enlace dominante utilizando parntesis.
Si la proposicin est agrupada en la forma:
(P & Q) V R
Entonces es una disjuncin y el trmino de enlace dominante es o. Es la disjuncin cuyo Primer
miembro es una proposicin molecular (una conjuncin) y cuyo segundo miembro es una
proposicin atmica. Si est agrupada (2)
P & (Q V R)
Entonces es una conjuncin. Se podra aplicar la regla de simplificacin a la proposicin (2) y
deducir P, pero no se puede deducir P de la proposicin (1). Tanto el significado de las
proposiciones como la aplicacin correcta de las reglas de inferencia dependen del uso correcto
de los parntesis. Indicado el agrupamiento de las proposiciones simbolizadas, el parntesis nos
mostrar cul es el trmino de enlace dominante en la proposicin. Se recordar que el trmino
de enlace condicional es ms fuerte que los de conjuncin, disjuncin o negacin. Cuando se
presenta en una proposicin con cualquiera de los otros, no es necesario el parntesis para
indicar que es el trmino de enlace dominante. Como o e y son igualmente fuertes
se necesita parntesis para indicar cul es el dominante. Ambos y y o son ms fuertes que
no, de manera que se aplica slo a la proposicin ms corta delante de la que est colocado,
salvo que un parntesis indique que se aplica a una proposicin molecular ms larga, como
ocurre en las proposiciones siguientes:
(P Q)
y
(P V Q).

LEY DE ADICIN.
La ley de adicin expresa el hecho que si se tiene una proposicin que es cierta, entonces la
disjuncin de aquella proposicin y otra cualquiera "ha de ser tambin cierta. Si se da la
proposicin P, entonces la proposicin P V Q es consecuencia.
Para justificarlo, recurdese el significado de una disjuncin. La disjuncin P V Q indica que por
lo menos una de las dos proposiciones ligadas por el trmino de enlace o ha de ser cierta.
Recurdese que slo una ha de ser necesariamente cierta. Puesto que se ha dado P como
proposicin cierta, se sabe que P V Q ha de ser una proposicin cierta; y esto es precisamente
lo que se entiende por una conclusin lgica vlida. Cuando una premisa es cierta, la conclusin
que se sigue de ella ha de ser cierta.
Con ejemplos en lenguaje ordinario se ve lo obvia que es esta regla.
Si, como premisa cierta, se ha dado:
Este libro es azul,
Entonces se sabe que la proposicin siguiente ha de ser cierta.
O este libro es azul o es rojo.

Se puede tambin concluir:


O este libro es azul o es viejo
o
O este libro es azul o es nuevo,
y as sucesivamente. En todos estos ejemplos una parte es cierta y esto es todo lo que se necesita
para que una disjuncin sea cierta.
En forma simblica, si se tiene la proposicin P, se puede concluir P V Q, o P V R, o S V P, o T V
P, y as sucesivamente. La abreviatura para la ley de adicin es LA.
Ejemplos de la ley de adicin son:
1) Q
2) Q V R

P
L.A 1

1) R
2) S V R

P
L.A 1

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

P
L.A 1

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

P
L.A 1

Obsrvese que el orden en que se usan no importa. De P se puede deducir P V Q o se puede


deducir Q V P.

Ejercicios

(1) Demostrar: R
1) Q V S
2) S
3) (R & S) Q
4) Q
5) (R&S)
6) R&S
7) R

(2) Demostrar: B
P
P
P
TP 1,2
TT 3,4
DN 5
S6

(3) Demostrar: M
1)
2)
3)
4)
5)
6)

S&P
M V N
SN
S
N
M

1)
2)
3)
4)
5)
6)

A V B
A B
E
A
A
B

P
P
P
TT 2,3
DN 4
TP 1,5

(4) Demostrar: A & B


P
P
P
S3
PP 3,4
TP 2,5

1)
2)
3)
4)
5)
6)

B
B D
AVD
D
A
A&B

P
P
P
PP 1,2
TP 3,5
A 1,6

(5) Demostrar: H
1)
2)
3)
4)
5)

S
SV(HVG)
G
HVG
H

(6) Demostrar: P
P
P
P
TP 1,2
TP 3,4

1)
2)
3)
4)
5)
6)
(8)

P
P
P
TT 2,3
TP 1,4

1) P V Q
2) Q R
3) R
4) Q
5) P
(10)
Demostrar: p

(7) Demostrar: P
1)
2)
3)
4)
5)
(9)

PVQ
T
QT
Q
P
Demostrar: R

1) P & Q
P
2) R V S
P
3) P S
P
4) P
S1
5) S
PP 3,4
6) R
TP 2,5
(11)
Demostrar: P
1) P V Q
P
2) (Q R) & R
P
3) Q R
S2
4) R
S2
5) Q
TT 3,4
6) P
TP 1,5

(13)

Demostrar: A

1)
2)
3)
4)
5)

1)
2)
3)
4)
5)

1)
2)
3)
4)
5)

P
P
P
TT 1,2
TP 3,4

P
P
P
DN 2
PP 1,4
TP 3,5

P
P
P
TT 2,3
TP 1,4

1) P Q
P
2) (Q V S &) S
P
3) Q V S
S2
4) S
S2
5) Q
TP 3,4
6) P
TT 1,5
(12)
Demostrar: R
1) Q R
P
2) Q V T
P
3) (T U) & U
P
4) T U
S3
5) U
S3
6) T
TT 4,5
7) Q
TP 2, 6
8) R
TP 1,7
(14)
Demostrar: Q

1) A C
P
2) C M
P
3) M V R
P
4) R
P
5) M
TP 3,4
6) C
TT 2,5
7) A
TT 1,6
(15)
Demostrar: S
TR
R
TVS
T
R

TPVQ
T
Q
T
PVQ
P
Demostrar: P

S (PVQ)
S
P
PVQ
Q

(16)
S V R
T S
T
S
R

P
P
P
PP 1,2
TP 3,4

Demostrar: R
P
P
P
PP 2,3
TP 1,4

(17)
1)
2)
3)
4)
5)

PVQ
Q
PS
P
S

(19)
1)
2)
3)
4)
5)

(25)
1)
2)
3)
4)
5)
6)
7)

1) P (Q & R)
2) P
3) T Q
4) T V S
5) Q & R
6) Q
7) T
8) S
(20)
Demostrar: S

P
P
P
P
PP 1,2
S5
TT 3,6
TP 4,7

P
P
P
TP 1,2
TT 3,4

1)
2)
3)
4)
5)

P
P
P
TP 1,2
TT 3,4

Demostrar: Y + 8 < 12

Demostrar: S

QP
P R
R V S
S & Q
Q
P
R
S

T V R
T
S R
R
S

(22)
1)
2)
3)
4)
5)
6)
7)
8)

P
P
P
P
S4
TT 1,5
PP 2,6
TP 3,7

1)
2)
3)
4)
5)
6)
7)
8)

1)
2)
3)
4)
5)
6)
7)
8)

P
P
P
S3
S3
TP 2,4
PP 1,5
A 6,7
Demostrar: S

PVQ
Q R
(P & R) S
R
Q
P
P&R
S

(26)
P
P
P
P
TP 3,4
TT 2,5
TT 1,6

Demostrar: Q & R

PQ
R V S
S&P
S
P
R
Q
Q&R

(24)

Demostrar: P

P (Q & R)
(Q & R) S
T V S
T
S
(Q & R)
P

Demostrar: S

P
P
P
TP 1,2
PP 3,4

(X +8 = 12) V ( X4)
P
(X=4) & (Y<X)
P
(X+8=12) & (Y<X)(Y+8<12) P
X=4
S2
X + 8 = 12
TP 1,4
Y<X
S2
(X+8 = 12) & (Y<X)
A 5,6
Y + 8<12
PP 3,7

(23)
1)
2)
3)
4)
5)
6)
7)
8)

(18)

Demostrar: Q

T V S
S
Q T
T
Q

(21)
1)
2)
3)
4)
5)
6)
7)
8)

Demostrar: S

P
P
P
P
TT 2,4
TP 1,5
A 6,4
PP 3,7

Demostrar: (Q V R)

P
(Q V R) ( S & T)
S P
PT
S
T
S&T
(Q v R)

P
P
P
P
TT 1,3
PP 1,4
A 5,6
TP 2,7

(27)

Demostrar: P

(28)

1) (S & T) P
P
2) T U
P
3) U & R
P
4) U S
P
5) U
S3
6) S
PP 4,5
7) T
TP 2,5
8) S & T
A 6,7
9) P
PP 1,8
(29)
Demostrar: S
1)
2)
3)
4)
5)
6)
7)
8)

PQ
Q R
R
P V (P & S)
Q
P
P & S
S

P
P
P
P
TT 2,3
TT 1,5
TP 4,6
S7

1)
2)
3)
4)
5)
6)
7)
8)

Demostrar: Z

P&Q
R P
RVS
Z S
P
R
S
Z

P
P
P
P
S1
TT 2,5
TP 3,6
TT 4,7

(30) Demostrar: La enmienda fue aprobada


Si la enmienda no fue aprobada entonces la
Constitucin queda como estaba. Si la Constitucin
queda como estaba entonces no podemos aadir
nuevos miembros al comit. O podemos aadir nuevos
miembros al comit o el informe se retrasar un mes.
Pero el informe no se retrasar un mes. Por tanto la
enmienda fue aprobada.
A = La enmienda fue aprobada
C = La Constitucin queda como estaba
M = Podemos aadir nuevos miembros al comit
R = El informe se retrasar un mes.

(1) A C
(2) C M
(3) M V R
(4) R
(5) M
(6) C
(7) A

P
P
P
P
TP 3, 4
TT 2, 5
TT 1, 6

También podría gustarte