LOGICA MATEMATICA

Aporte individuas para colaborativo 2

Presentado a tutor:

Pablo Vargas

Presentado por
Camilo Cubillos Ortiz
Codigo: 1013606427

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGIENERIA
INGENIERA DE TELECOMUNICACIONES
2016

EL MODUS PONEN DUS PONENS (MPP)

El modo que afirmando afirma, es decir, establece que si una implicacin
es cierta y adems si su antecedente es verdadero, entonces, su
consecuente necesariamente es verdadero.
Simblicamente:

P Q , o,

p q p q

P
Q
Ejemplos:

1.

P1 :

Lina es una estudiante de Administracin pblica, entonces

estudia en la ESAP.

P2 :

Lina es una estudiante de Administracin pblica

C :
Estudia en la ESAP
Simblicamente

Premisa 1:
Premisa 2:
Conclusin:

P Q

P
Q

a b c,

2. Premisa 1.

abc

Premisa 2.
Conclusin.

ba c

Simblicamente

Premisa 1.
Premisa 2.
Conclusin

3.

P Q

P
Q

P1 : r t
P2 : r
C :t

4.

P1 : s p q
P2 : S

C: pq

entonces

bac

Ejercicios
Utilizando el modus ponendus ponens, llegu a la conclusin

1.

P1

P2

: Si hoy es domingo, entonces hay futbol

: Hoy es domingo

C:

2.

P1 : x
Si

p2 : x

es un nmero para, entonces

es un nmero par

C:

3.

P1 : p q s
P2 : p
C:

4.

P1 : t s
P2 : t
C:

x2

es par

5.

P1 :
P2 :

Si est nublado, entonces, llueve

Est nublado

C:

MODUS TOLLENDO TOLLENS (MTT)

Esta regla de interferencia establece que si una implicacin es
verdadera y su consecuente es falso, entonces, su antecedente es falso
necesariamente es falso.
Simblicamente:

P Q
,o,

P Q Q P

Q
_________

P
Ejemplos

1.

P1 :

Si

a b,

entonces,

a b 0

P2 :a b0
C : a b

2.

P1 :

Si estudio apruebo el examen

P2 :
C:

3.

No aprob el examen
No estudi

P1 : q r
P2 : r
C : q

4.

P1 : p q r
P2

C : p q p q
5. Demostrar c

P1 : b

P2 : a b

P3 : a c

P4 : a
P5 :

(MTT)
(MPP)

P1 y P2
p3 y P4

6.Demostrar r

P1 : p q
P2 :

P3

p r

P4 : p
P5 :

(MTT)

P1 y P2

EJERCICIOS
Obtener la conclusin pedida, utilizando las inferencias.

1.

P1 :

Si estoy preparado profesionalmente, entonces triunfar en mis

negocios.

P2 :

Fracas en los negocios

C:

2.

P1 : S t
P2 : t
C:

3.

P1 : p q r
P2 : r
C:

4.

P1 : p q t
P2 : y

C:

5. Demostrar:

P1 : x y

P2 : y
P3 : x w

P4 :

P5 :
MODUS TOLLENDO PONENS (MTP)
Esta regla de inferencia establece que si una disyuncin es verdadera
y

una

de

sus

proposiciones

simples

es

falsa,

entonces,

necesariamente la otra proposicin es verdadera simblicamente.

P Q

,o,

P Q

P Q P Q
P Q Q P
Ejemplos

1.

P1 :
P2 :

P3 :

La energa interna de un tomo est cuantizada o es continua.

La energa interna de un tomo no es continua

2.

P1 :

El Consejo de estado o la Corte Constitucional es el Organismo

mximo de
Seguridad.

P2 :
C:

3.

El Consejo de Estado no es Organismo Mximo de Control.

La Corte Constitucional es el Mximo Organismo de Control.

P1 : q r
P2 : r
C : q

4.

P1 : q q
P2 : p
C: q

5.

P1 :

s t r

P2 : s t
C: r

6. Demostrar:

rs

P1 : q s

P2 : s
P3 : r s q

P4 : q P1 y P2

MTP

p5 : r s P3 y P2

MTT

C: rs
SILOGISMO HIPOTTICO (S H)
Este argumento consiste en dos implicaciones de tal manera que la
segunda tenga como antecedente el consecuente de la primera,
entonces, se puede concluir: el antecedente de la primera con el
consecuente de la segunda.
Simblicamente

PQ

,o,

p q q r p

QR

PR
Ejemplos

1.

P1 :

Si el agua se congela, entonces, sus molculas forman cristales

P2 :

Si las molculas forman cristales, entonces en agua aumenta de

volumen

C:

2.

P1 :

Si el agua se congela, entonces, el agua aumenta de volumen

Si Colombia es un Estado democrtico, entonces, la oposicin

debe tener garantas

P2 :

Si la oposicin debe tener garantas, entonces, al presidente no

es
Permitido atacar impune a los voceros de la oposicin.

C:

Si Colombia es estado democrtica, entonces, al presidente no

es
Permitido atacar impune a los voceros de la oposicin.

3.

P1 : q p
P2 : p r
C: qr

4.

P1 : s t r q
P2 : r q p
C : s t p

5. Demostrar:

P1 : r

P2 : p q
P3 : q r

P4 : p r P2 y P3
P5 : P
C: P

P1

y P4

por SH
por MTT