1

PRINCIPIOS DE LGICA

TRABAJO COLABORATIVO No. 2

GRUPO COLABORATIVO No. 192

ADALBERTO JESUS BARRAZA

(TUTOR)

WILBER LAUREANO ROSERO CODIGO 12.751.315

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LOGICA MATEMATICA 90004A_289
TUMACO, JUNIO DE 2016

2
PRINCIPIOS DE LGICA

Tarea 2: Problemas de aplicacin I parte.

Solucionar los siguientes enunciados y demostrar la validez o no validez del
argumento dado a travs de:
Uso de las tablas de verdad.
Uso de las leyes de Inferencia.
a. Estudiar en la modalidad a Distancia en la UNAD es una metodologa
educativa que realmente forma profesionales competentes, pues se debe
ser muy disciplinado con los hbitos de estudio adquiridos para cumplir con
las actividades acadmicas, pero con la ventaja de que al usar las
tecnologas facilita la comunicacin entre los diferentes protagonistas del
proceso de formacin acadmico. Carolina se ha esforzado por mantener
un slido hbito de estudio, pero hay momentos en que el cansancio la
vence, el siguiente relato es algo que le ocurri un da: Si me mandas la
gua de actividades por mensajera interna del curso, entonces terminar de
realizar las demostraciones. Si no me mandas la gua de actividades por
mensajera interna, me ir a la cama temprano. Y si me voy a la cama
temprano, me levantar descansada. Por lo tanto, si no acabo de realizar
las demostraciones, me levantar descansada. (Gmez, 2015)
Solucin
Uso de las tablas de verdad.
1. Simbolizacin de las proposiciones
p: Si memandas la gua de actividades por mensajera interna del curso .

q :Terminar de realizar las demostraciones .

p : Nome mandas la gua de actividades por mensajera interna .

r : Meir a la cama temprano .

s : Me levantare descansada .

Premisas
P1 : p q
P2 : p r
P3 : r s
C: qs

3
PRINCIPIOS DE LGICA

P=( p q) ( p r) (r s)

Uso de las tablas de verdad

p q r s
V V V V F
V V V F F
V V F V F
V V F F F
V F V V F
V F V F F
V F F V F
V F F F F
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V
Este argumento es valido

q p q p rr s q s( p q)( P
p C
r)(r s)
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F

V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F

Uso de las leyes de Inferencia.

Solucin
Teniendo en cuanta la simbolizacin de las premisas.
P1 : p q
P2 : p r
P3 : r s
C: qs

C= q s

V
F
V
V
F
F
F
F
V
F
F
F
V
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

4
PRINCIPIOS DE LGICA

Prueba
C1 : q p

Usando la regla de inferencia contrareciproca de la proposicin

P1
C1 : q p
P2 : p r
C2 : q r

Usando Silogismo hipottico entre

C 1 y P2

Usando Silogismo hipottico entre

C 2 y P3

C2 : q r
P3 : r s
C: qs

a. Johanna est planteando una situacin problmica para su ensayo del curso
de Matemticas financiera de la UNAD, para lo cual hace la siguiente cita
bibliogrfica: Si hay una situacin de crisis econmica, el ndice de natalidad
disminuye. Si avanza la medicina, las expectativas de vida sern mayores. Si
el ndice de natalidad disminuye y las expectativas de vida se hacen mayores,
entonces la sociedad ir envejeciendo rpidamente. La crisis econmica es
un hecho y los avances en la medicina son constantes. Luego, la sociedad
envejecer con rapidez. (Gmez, 2015).1
Solucin

Uso de las tablas de verdad.

2. Simbolizacin de las proposiciones

p: Si hay una situacin de crisis econmica .

r : Si avanza la medicina

q :el ndice de natalidad disminuye.

s :lasexpectativas de vida sernmayores .

1 Gmez Oscar, Notas de clase Pensamiento lgico y matemtico, 2015.

5
PRINCIPIOS DE LGICA

t :la sociedad ir envejeciendo rpidamente .

Premisas
P1 : claro que si se encuentra una situacin de crisis econmica , el ndice de natalidad disminuye :
p q
P2 :Claro que Siavanza la medicina, las expectativas de vida sernmayores :
r s

P3 : Si el ndice de natalidad disminuye y lasexpectativas de vida se hacen mayores ,

y es por ello que la sociedad ir envejeciendo rpidamente :
qst

P4 : La crisis econmica es un hecho y los avances en lamedicina son constantes :

p r
C : la sociedad envejecer con rapidez :

6
PRINCIPIOS DE LGICA

Tablas de Verdad
P1 : p q
P2 :r s
P3 : q s t
P4 : p r
C :t

P=(p q)(r s )(q s t )( p r )

p

V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V

s t

V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F

p q

V
V
V
V
V
V
V
V
F
F
F
F

qs

r s

V
V
F
F
V
V
V
V
V
V
F
F

V
V
F
F
V
V
F
F
F
F
F
F

p r

(q s)t

V
F
V
V
V
F
V
V
V
V
V
V

V
V
V
V
F
F
F
F
V
V
V
V

V
F
F
F
F
F
F
F
F
F
F
F

P t

V
V
V
V
V
V
V
V
V
V
V
V

7
PRINCIPIOS DE LGICA

V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
V
V
V

F
F
F
F
V
V
F
F
V
V
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
F
V
V
V
F
V
V
V
V
V
V
V
V
V
V

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Uso de las leyes de Inferencia.

Solucin:
Adquiriendo en cuanta la simbolizacin de las premisas

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

Prueba
C1 : p

Dando uso a la regla de inferencia simplificacin de la proposicin

P4

C2 :r

Dando uso a la regla de inferencia simplificacin de la proposicin

P4

P1 : p q

8
PRINCIPIOS DE LGICA

C1 : p
C3 :q

Dando uso a la regla de inferencia modos ponendo ponens de la

proposicin

P1 y C1

P2 :r s
C2 :r
C4: s

Dando uso a la regla de inferencia modos ponendo ponens de la

proposicin

P2 y C 2

C 4 : q s Dando uso a la regla de inferencia conjuncin de las

C3

y C4

P3 : q s t
C4: r s
C5 :t

Dando uso a la regla de inferencia modos ponendo ponens

P3

y C4

Y es por ello que el razonamiento es legtimo.

Tarea 3: Problemas de aplicacin II parte.

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del
argumento dado a travs del:
Uso del mtodo de reduccin al absurdo.

9
PRINCIPIOS DE LGICA

3. Ejercicio:
P1 : p q
P2 : p r
P3 : r s
C: qs
Dando uso al mtodo de reduccin al absurdo se considera que la conclusin
como falsa y las premisas verdaderas, se debe llegar a una contradiccin.
C: qs: F

Y Por lo tanto

q :V s : F q : F

p q :V

Como q: F entonces p: F
r s : V Como s : F entonces r : F
p r :V comor : F entonces p : F lo que implica p :V contradic cin pues ya se habia
concluido que p : F

Y es por ello que se demuestra que el argumento es legtimo.

Uso del simulador Truth Table.

( ( p q ) ( p r ) ( r s ) ) ( q s)

10
PRINCIPIOS DE LGICA

Ejercicio: B
P1 : p q
P2 :r s
P3 : q s t
P4 : p r
C :t

Dando uso al mtodo de reduccin al absurdo se considera que la conclusin

como falsa y las premisas verdaderas, se debe llegar a una contradiccin.
t : F Como t es falso Y
deduce q : F s : F

P3 : q s t es verdadero

entonces q s : F

lo que

11
PRINCIPIOS DE LGICA

Ahora
P1 : p q :V y como q : F enotnces p : F
P2 :r s :V y como s : F enotonces r : F
Lo cual concluiramos que p r : F lo cual es una contradiccin puesto que
P4 : p r es verdadero por ser una premisa .

Uso del simulador Truth Table.

( ( p q ) ( r s ) ( ( q s ) t ) ( p r ) ) t

12
PRINCIPIOS DE LGICA

Tarea 4: Creatividad en la proposicin de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simblico.
((pq)(rp)(qVs))(qs)
El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de
tal forma que la informacin o el mensaje que deseen expresar tenga sentido
lgico (Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores
tareas, se presentaban en lenguaje natural y el propsito es convertirlo en
lenguaje simblico).
Finalmente, deben demostrar que el anterior argumento es vlido a travs de:

Uso de las tablas de verdad.

Uso de las leyes de inferencia.
Uso del mtodo de reduccin al absurdo.
Uso del simulador Truth Table.
Solucin:
p: Juan estudia . q : Juan gana el examen
r :Juan asiste al estadio
r :Juan no asiste al estadio
s : Juan hace trampa 8

En lenguaje verbal: Si Juan estudia en aquel tiempo gana el examen y si Juan no

asiste al estadio, estudia y Juan gana el examen o hace trampa, si Juan no gana
el examen es por que realiza trampa.
En este caso si Juan no gana el examen es por que realiza trampa.

13
PRINCIPIOS DE LGICA

Uso de las tablas de verdad.

p q

p q r pqVs ( p q ) ( r q
sqVs
)C
p )
(P

V V V V F F V
V
V V V F F F V
V
V V F V V F V
V
V V F F V F V
V
V F V V F V F
V
V F V F F V F
V
V F F V V V F
V
V F F F V V F
V
F V V V F F V
V
F V V F F F V
V
F V F V V F V
F
F V F F V F V
F
F F V V F V V
V
F F V F F V V
V
F F F V V V V
F
F F F F V V V
F
( ( p q ) ( r p ) ( qVs ) ) (q s)
P: ( p q ) ( r p ) ( qVs ) C : q s

V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
F

V
V
V
V
F
F
F
F
V
V
F
F
V
F
F
F

V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

14
PRINCIPIOS DE LGICA

Este argumento es legtimo.

Uso de las leyes de inferencia.

( ( p q ) ( r p ) ( qVs ) ) (q s)
P1 : p q
P2 : r p
P3 : ( qVs )
C : q s
Dando uso a las reglas de inferencias silogismo hipottico

P 2 y P1

P2 : r p
P1 : p q
C1 :r q

Uso del mtodo de reduccin al absurdo.

( ( p q ) ( r p ) ( qVs ) ) (q s)
Solucin
Y por ello se considera que esta conclusin es falsa y por ello procedemos
( q s ) : F luego q :V s : F q : F
( p q ) :V

( r p ) :V ( qVs ) :V como q : F entonces s :V contradicin porque s :es falso

Luego el argumento es vlido.
Uso del simulador Truth Table.

15
PRINCIPIOS DE LGICA