TAREA 1 B

Modus tollendo ponens:

si una proposicion disyuntiva y la negacion de una de sus miembros

(tollendo) son tomadas como premisas, se refiere o se afirma el otro
miembro (ponens).

Simbolicamente si p v q es verdadera y se tiene p se puede concluir q; o si

se tiene q en lugar de p se concluye p.

pvq

_____________

Ejemplos:

a)

p= 2 divide a x.

q= 5 divide a x.

Premisa 1: 2 divide a x o 5 divide a x. pvq

Premisa 2: 5 no divide a x. q

_____________

b)

p= Juan esta estudiando.

q= Juan esta jugando.

Premisa 1: Juan esta estudiando o jugando pvq

Premisa 2: Juan no esta jugando. q

_____________

Doble negacin:

esta regla establece que la negacion de la negacion de una proposicion es la

misma proposicion, esto es simbolicamente hablando podemos concluir p
apartir de (p).

(p)

_____________

Ejemplos:

a)

p= hago algo

Premisa: no hago nada

Conclusion: Hago algo

b)

p=Hoy es domingo
Premisa: Es falso que hoy no sea domingo

Conclusion: Hoy es domingo.

Adjuncion:

Si p y q son premisas por definicion podemos concluir pq o qp.

P p

q q

_______ ________

pq qp.

Ejemplos:

a)

Premisa 1: 2 es un numero par.

Premisa 2: 2 es un numero primo.

Conclusion: 2 es un numero par y es primo.

b)

Premisa 1: Ana es mujer.

Premisa 2: Ana es atractiva.

Conclusion: Ana es mujer y Ana es atractiva.

TAREA 2 B

Si voy manejando mi auto y aumento la velocidad al manejar,

podra llegar temprano al trabajo. No es cierto que si aumento la
velocidad al manejar, gasto ms combustible del normal. Pasa que
gasto ms combustible del normal o voy manejando mi auto. En
conclusin, podra llegar temprano al trabajo.
Primero se va a leer el enuncia para ir sacando las premisas o
proposiciones y a su vez ir dando un valor simblico a las frases
que describen el enunciado.

VALOR SIMBLICO PREMISAS

P: Voy manejando mi auto. (^)
Q: Aumento la velocidad al manejar. ~
R: Podra llegar temprano al trabajo.

S: Gasto ms combustible del normal.

Despus de tener las premisas, el paso a seguir es encontrar el

valor de verdad del enunciado por el mtodo de tabla de
verdad, en donde a la conjuncin de las 3 premisas se le asign
el smbolo de y a la implicacin de las premisas con la
conclusin se le asign el smbolo de :
A:[(^) ]^[~ ]^[]
B: {[(^) ]^[~ ]^[]}

~ ^ (^) ~

 De la tabla anterior se concluye que el enunciado no tiene validez,
puesto que hay varios valores donde lo hace falso, a continuacin se
muestra cules fueron los valores asignados para que est fuera
falso:

Como ya se sabe que es falso, entonces no se har la verificacin por

el mtodo de las reglas de inferencia.

TAREA 3 B
{( ) [( ) ] [( ) ] }

P: Juan Gabriel se matricula en el curso de lgica matemtica

Q: Camila se matricula en el curso de lgica matemtica
R: Juan Gabriel siempre en los trabajos colaborativos asume el rol de
las alertas para la entrega de trabajos
S: Camila suele entregar los trabajos a tiempo.

Expresin textual

Si Juan Gabriel no siempre en los trabajos colaborativos asume el rol de las

alertas para la entrega de trabajos entonces Juan Gabriel no se matricula en
el curso de lgica matemtica. Si se tiene que Juan Gabriel se matricula en
el curso de lgica matemtica entonces Camila se matricula en el curso de
lgica matemtica llevando esto a que Juan Gabriel siempre en los trabajos
colaborativos asume el rol de las alertas para la entrega de trabajos. Juan
Gabriel se matricula en el curso de lgica matemtica y Camila se matricula
en el curso de lgica matemtica de igual modo Juan Gabriel siempre en los
trabajos colaborativos asume el rol de las alertas para la entrega de trabajos.
Camila suele entregar los trabajos a tiempo. Con lo cual se termina
concluyendo que Juan Gabriel se matricula en el curso de lgica matemtica.
Tabla de Verdad

P Q R S ~ ~p rp PQ (pq)r
[(pq)r]
s
R
V V V V F F V V V V V V
V V V F F F V V V F F V
V V F V V F F V F F F V
V V F F V F F V F F F V
V F V V F F V F V F F V
V F V F F F V F V F F V
V F F V V F F F V F F V
V F F F V F F F V F F V
F V V V F V V V V F F V
F V V F F V V V V F F V
F V F V V V V V F F F V
F V F F V V V V F F F V
F F V V F V V V V F F V
F F V F F V V V V F F V
F F F V V V V V F F F V
F F F F V V V V F F F V

True Table
 Inferencia

{( ) [( ) ] [( ) ] }

1 Dado en el
problema
2 ( ) Dado en el
problema
3 [( ) ] Dado en el
problema
4 Dado en el
problema
5 ( ) Simplificacin 3
6 r Simplificacin 3
6 Conclusin:
Simplificacin 5

TAREA 4 B

teniendo en cuenta el tipo de razonamiento que se presente, ayuda

a resolver la siguiente inquietud a Vctor

En meses distintos Alexis, Jaime y Juan le prestaron dinero a Eduardo y este

no les pago, Victor no sabe si prestarle la suma de dinero que le solicita
Eduardo, decide tener en cuenta el razonamiento para tomar su decision, por
lo que solicita la ayuda de un experto como tu, el cual le da la siguiente
respuesta:

Yo considero que como este es un razonamiento inductivo el no deberia

prestarle el dinero porque con 4 casos se ha visto que l ha pedido prestado
dinero y no ha pagado lo que hace deducir que el siempre que piede dinero
no paga.