Tarea 1

B. Modus Tolendo Ponens, Doble Negacin y Adjuncin

MODUS TOLLENDO PONENS (TP)

Esta regla se aplica para las proposiciones disyuntivas, en la cual un miembro de

dicho propsito se niega para lograr la afirmacin del otro.

PVQ PVQ (1) (P & M ) V T & Q

P Q (2) ( T & Q )
---------- --------- _______________________
.: Q .: P .: (3) (P & M ) TP 1.2

EJ: O hace frio y llueve o el festival se celebrar al aire libre. Ni hace frio ni llueve.

F: hace frio
E: llueve
A: el festival se celebrar al aire libre

(F & E) V A
(F & E )
____________
.: A

Esto quiere decir que el festival se celebrara al aire libre

DOBLE NEGACION (DN)

Es una regla simple que permite pasar de una premisa nica a la conclusin.

P P (P V Q)
----- ------- __________
.: P .: p .: (P V Q)

EJ: No ocurre que un quinto no es el veinte por ciento.

Q: un quinto es el veinte por ciento

Q
___________
.: Q

en palabras podemos decir que un quinto es el veinte por ciento

REGLA DE ADJUNCION (A)

teniendo dos premisas y sabiendo que ambas son ciertas podremos decir que su
conclusion va ser cierta.
 P P
Q Q
---- ----
.: P & Q .: Q & P

EJ: esta inferencia es vlida . Aquella no es vlida

P: esta inferencia es vlida

Q: Aquella es vlida

P
Q
______________
P & Q

En conclusin esta inferencia es vlida y Aquella es valida

d. La Escuela de Ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD

realiz como evento disciplinar unas Olimpiadas Matemticas Virtuales. El Lder
Nacional de la Escuela le ha informado al Decano Nacional de Escuela como fue la
premiacin, el primer lugar recibir un computador porttil, el segundo lugar
recibir una Tablet y el tercer lugar recibir una coleccin de libros de matemticas
Schaun; para dicho fin el lder Nacional hizo el siguiente razonamiento: Si Ximena
se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien recibi
la Tablet. Si Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como
premio el computador. Si Carlos fue quien recibi la Tablet entonces Ricardo no fue
quien recibi la Tablet. Ximena se gan el computador. Por lo tanto, Carlos no fue
quien recibi la Tablet.

Analisis del enunciado

Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue
quien recibi la Tablet. Si Ximena fue quien recibi la Tablet, entonces Ximena no
obtuvo como premio el computador. Si Carlos fue quien recibi la Tablet entonces
Ricardo no fue quien recibi la Tablet. Ximena se gan el computador. Por lo tanto,
carlos no fue quien recibi la Tablet

Declaracin de proposiciones
Ximena se gan el computador
Johan recibi la Tablet
Ricardo fue quien recibi la Tablet
Ximena fue quien recibi la Tablet
Ximena no obtuvo como premio el computador
Carlos fue quien recibi la Tablet
Ricardo no fue quien recibi la Tablet
Carlos no fue quien recibi la Tablet

p: Ximena se gan el computador

 q: Johan recibi la Tablet

r: Ricardo fue quien recibi la Tablet

s: Ximena fue quien recibi la Tablet

t: Carlos fue quien recibi la Tablet

Declaracin de premisas

Premisa 1: p ( q r )

Premisa 2: s p

Premisa 3: ( t r ) p

Conclusin: t

Declaracin de proposiciones compuestas

Si p entonces q o r. Si s, entonces p. Si t entonces r. p. Por lo tanto, t

q r

p ( ( s p ) (t r ) p } t

{

Verificacin en la tabla de la verdad

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

V V V V V F F F V F F V F
V V V V F F F V V F V V F
V V V F V F F F V V F V V
V V V F F F F V V V V V V
V V F V V F V F V F V V F
V V F V F F V V V F V V F
V V F F V F V F V V V V V
V V F F F F V V V V V V V
V F V V V F F F V F F V F
V F V V F F F V V F V V F
V F V F V F F F V V F V V
V F V F F F F V V V V V V
V F F V V F V F F F V F F
V F F V F F V V F F V F F
V F F F V F V F F V V F F
V F F F F F V V F V V F F
F V V V V V F F V V F V V
F V V V F V F V V V V V V
F V V F V V F F V V F V V
F V V F F V F V V V V V V
F V F V V V V F V V V V V
F V F V F V V V V V V V V
F V F F V V V F V V V V V
F V F F F V V V V V V V V
F F V V V V F F V V F V V
F F V V F V F V V V V V V
F F V F V V F F V V F V V
F F V F F V F V V V V V V
F F F V V V V F F V V V V
F F F V F V V V F V V V V
F F F F V V V F F V V V V
F F F F F V V V F V V V V
qr qr q r
p ( ( s p ) ( t r )
p ( ( s p ) (t r ) p
p ( ( s p ) (t r ) p } t

{
F F V
F F V
F F V
V V V
F F V
F F V
V V F
V V V
F F V
F F V
F F V
V V V
F F V
F F V
F F V
F F V
F F V
V F V
F F V
V F V
V F V
V F V
V F V
V F V
F F V
V F V
F F V
V F V
V F V
V F V
V F V
V F V

Tarea 3: Problemas de aplicacin II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la

dinmica de la Universidad de su rol como estudiante y demostrar la validez
del argumento dado a travs de:

Uso de las tablas de verdad.

Uso de las reglas de inferencia.
Uso del simulador Truth Table.