Actividades a desarrollar

Tarea 1: Proposiciones y tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su

escogencia en el foro, de tal forma que no coincida con los compañeros.
La solución de los enunciados debe contar con las siguientes etapas:

A. Definición de las proposiciones simples

B. Lenguaje natural de la expresión formal

C. Generar la tabla de verdad manualmente y a través del simulador Truth

Table.

D. Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table.

E. Definir si el argumento es una Tautología, contradicción o contingencia

A. {(p→∼q)∧(∼r→s)∧(r→p)}→(∼q∨s)

B. De las siguientes situaciones representarlas en un diagrama de Venn y

solucionar los interrogantes planteados.

 Identificación de los conjuntos

 Elaboración del Diagrama de Venn
 Descripción de la solución del Problema
 Argumentación de la validez de su respuesta.

Si pago la luz, entonces no me cortaran la corriente eléctrica. Y

si no pago el agua, entonces me quedare con dinero, entonces
no me cortan la corriente eléctrica o me quedaré con dinero
P=Si pago la luz

q= me cortan la corriente eléctrica

r= si no pago el agua

S= me quedaré con dinero

Tabla Manual

Tabla truth

Es una tautología
Tarea 3: Leyes de Inferencia

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a

través de:
 Generar la tabla de verdad manualmente y a través del simulador Truth
Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth
Table.
 Aplicación de las reglas de inferencia.

2. En la seguridad vial es importante tener claro que ser precavido ayuda para
evitar muchos accidentes. Para implementar una campaña publicitaria, se ha
planteado el siguiente argumento: “Si voy en motocicleta y aumento la
velocidad, llego temprano a la Universidad. No es cierto que si aumento la
velocidad, gasto más combustible. Pasa que gasto más combustible o voy
en motocicleta. En conclusión, llego temprano a la Universidad”.

P=voy en motocicleta
q=Aumento la velocidad
r=Llego temprano a la universidad
s=Gasto más combustible

{(p ^ q) →r (¬q →s) ^ (s ѵ p)}→r

Uso de las reglas de inferencia:

Premisa 1: (pˆq) → r

Premisa 2: (q→s)
Premisa 3: (s ѵ p)
Premisa 4:→r
Premisa 5: p simplificación de 3
Premisa 6: s simplificación de 3
Premisa 7:q→r MPP entre 1 y 5
Premisa 8:r MP premisa

Conclusión: r