CURSO : LÓGICA MATEMÁTICA FIISI

Tema : Tautología, Contradicción, Contingencia. Ingeniería

Inferencia Lógica Informática

Actividad Nº 02

Estimados estudiantes, la presente actividad es para poner en práctica lo que

se ha desarrollado en clases.
Pasos para la presentación:
1. En una hoja coloque sus apellidos y nombres completos (en ese orden),
Facultad y Escuela Profesional.
2. Desarrolle los ejercicios.
3. Enviar el archivo digital en formato pdf o jpg guardado con la siguiente
secuencia APELLIDO PATERNO_ APELLIDO MATERNO_NOMBRES
4. Ejemplo: PESANTES_ROJAS_CARLOS R.
5. Fecha última de Presentación: 21 de agosto del 2020.

MM

1. Determine si los siguientes enunciados es una tautología, contradicción o

contingencia:

a. Consigues los suficientes proyectos y contratos ya que eres un buen ingeniero.

Conseguir proyectos, pero no contratos no son necesarios para ser un buen ingeniero.
Por lo tanto, como eres un buen ingeniero, no necesitas de conseguir proyectos ni
contratos.
b. No es cierto que, ni vaya al fútbol ni vaya al cine. Pero si voy al cine, siempre vuelvo
pronto a casa. Sin embargo, hoy no he vuelto pronto a casa. Luego, si no he ido al
cine, entonces he ido al fútbol.
c. Si llueve y salgo a la calle y no llevo paraguas, me mojo. Sin embargo, he salido a la
calle, no llevo paraguas, pero no me mojo. Luego, no llueve.
d. Si Carlos es especialista en entornos virtuales o trabaja de forma retoma, es condición
suficiente y suficiente para que sea Ingeniero Informático. Carlos no trabaja de forma
remota ya que ni es Ingeniero Informático ni especialista en entornos virtuales. En
consecuencia Carlos trabaja de forma remota porque es especialista en entornos
virtuales, además es ingeniero informático.

2. Demuestre si los siguientes sistemas proposicionales es Tautología, contradicción

o contingencia:

a) ∼ { { [ r → ( q ∨ p ) ] } → ∼ q }
b) ∼ [ ∼ 𝑞 ↔ ( ∼ 𝑝 ↓ 𝑟) ] → ∼ 𝑝
c) [ (∼ 𝑝 ↔ 𝑞 ) ∧ 𝑝 ] → ∼ [ (∼ 𝑞 v 𝑝 ) ∧ 𝑟 ]
d) ~{ [ ( 𝑝 ↔ 𝑞 ) ∧ ∼ 𝑟 ] → ∼ ( 𝑞 ↔ 𝑟 ) }

Mg. Carlos R. Pesantes Rojas 1

 CURSO : LÓGICA MATEMÁTICA FIISI
Tema : Tautología, Contradicción, Contingencia. Ingeniería
Inferencia Lógica Informática

3. Demuestre si las siguientes inferencias son válidas:

a) Mario no es Ingeniero, sin embargo participa en contratos especiales ya que es

aficionado a la informática. No es cierto que, Mario participe en contratos especiales
además sea aficionado a la informática. En consecuencia Mario participa en
contratos especiales porque es tanto es aficionado a la informática como es
ingeniero.

b) Si el reloj está adelantado, Andrea llegó antes de la hora a dar su examen y vio partir
el carro de Andrés. Andrea no vio partir el carro de Andrés porque el reloj esta
adelantado. El reloj no está adelantado y Andrea no llego antes de la hora a dar su
examen. Por lo tanto Andrea vio partir el carro de Andrés porque el reloj no estaba
adelantado.

c) Las tecnologías de información son importantes porque permiten procesar grandes

cantidades de datos, además estas permiten tener una buena comunicación. Las
tecnologías de información permiten tener una buena comunicación si y solo si
permiten procesar grandes cantidades de datos. En consecuencia, las tecnologías
de información son importantes ya que permiten tener una buena comunicación.

d) Si el libro está claro y tengo creatividad, acabo la tarea. No acabo la tarea, dado que
me falta creatividad aunque el libro está claro. El libro esta claro. En consecuencia
me falta creatividad ya que el libro no está claro.

Mg. Carlos R. Pesantes Rojas 2