VICERRECTORADO DOCENTE Código: GUIA-PRL-001

CONSEJO ACADÉMICO Aprobación: 2016/04/06

Formato: Guía de Práctica de Laboratorio / Talleres / Centros de Simulación

FORMATO DE GUÍA DE PRÁCTICA DE LABORATORIO / TALLERES /

CENTROS DE SIMULACIÓN – PARA DOCENTES

CARRERA: INGENIERIAS ASIGNATURA: PROGRAMACIÓN

TÍTULO PRÁCTICA: Teoría de Proposiciones: representación, proposiciones simples y
NRO. PRÁCTICA: 1
compuestas, tablas de verdad, leyes de proposiciones y tautologías
OBJETIVO:
Reforzar los conocimientos adquiridos con el tema de teoría de proposiciones por medio la resolución de ejercicios
de aplicación.
1. Revisar el contenido teórico del tema con el docente en las respectivas
sesiones de clase.
2. Profundizar los conocimientos a través de la guía presentada en la
plataforma AVAC y revisando los ejercicios presentados durante la clase.
INSTRUCCIONES (Detallar las
3. Realizar cada uno de los ejercicios presentados en el cuestionario adjunto y
instrucciones que se dará al
cargarlos al AVAC. Es importante que en la resolución se refleje todo el
estudiante):
proceso realizado para obtener la respuesta.
4. La práctica tiene una valoración de 5 puntos. La sumatoria del valor
asignado a cada ejercicio se utilizará para realizar una regla de tres y dar
un valor final. El trabajo es en parejas.

ACTIVIDADES POR DESARROLLAR

1. Realizar los ejercicios planteados en el cuestionario adjunto.
RESULTADO(S) OBTENIDO(S):
Dominio de la representación de proposiciones simples y compuestas generando las respectivas tablas de verdad y
además simplificando expresiones por medio de leyes de proposiciones y tautologías.
CONCLUSIONES:
 Los estudiantes refuerzan el contenido aprendido en clase por medio de la práctica realizada identificando los
diferentes tipos de proposiciones.
 Los estudiantes son capaces de generar tablas de verdad a partir de proposiciones simples y compuestas.
 Los estudiantes pueden simplificar expresiones utilizando leyes de proposiciones y tautologías.
RECOMENDACIONES:
 Revisar la información proporcionada por el docente previo a la práctica.
 Haber asistido a las sesiones de clase.
 Consultar con el docente las dudas que puedan surgir al momento de realizar la práctica.

Docente: Ing. Maritza Mendieta Mgtr.

Firma: _______________________________

Resolución CS N° 076-04-2016-04-20
 Material Elaborado por:
INGENIERIAS Ing. Maritza Mendieta

PROGRAMACION Período Lectivo: 2022-2022

Ejercicios Teoría de Proposiciones

1. Indique los valores de verdad (V(p)) de las siguientes proposiciones:

a. El gato es un felino, por lo tanto, ladra.

P: El Gato es un felino
Q: El gato ladra

p=>q
V=>F
V(a)= F
Falso

b. El 6 y el 11 no son números primos.

P: El 6 “es numero primo”
Q: El 11 “es numero primo”

p^q
F^V
F(b)= F
Falso

c. Una figura geométrica es heptágona si solo si tiene 6 lados.

P: Una figura geométrica es heptágona
Q: tiene 6 lados.

p<=>q
V<=>F
V(c)= F
Falso

d. Adobe edita imágenes o Excel realiza cálculos.

P: Adobe edita imágenes
Q: Excel realiza cálculos.

pvq
VvV
V(d)= V
Verdadero
e. ¬ (p v q) cuando p = “Ecuador tiene dos estaciones”, q = “Estados Unidos tiene cuatro estaciones”

¬ (p v q)
¬p ^ ¬q
¬F ^ ¬F
V^V
V(e)= V
Verdadero

2
 Material Elaborado por:
INGENIERIAS Ing. Maritza Mendieta

PROGRAMACION Período Lectivo: 2022-2022

2. Escribir los enunciados a partir de notación lógica:

a. Notación lógica: [(p∧¬q) ⟹r] ∨ [ ¬p∧ q⟹ s] ∨ [(r∧¬q) ⟹p)]  
Para el enunciado considerar las siguientes proposiciones:
p: La noche esta estrellada
q: La noche esta nublada
r: Estoy feliz
s: Estoy triste

La noche esta estrellada y la noche no esta nublada entonces estoy feliz, o la noche no esta
estrellada y la noche esta nublada entonces estoy triste, y estoy feliz y la noche no esta
nublada entonces la noche esta estrellada.

b. Notación lógica: ¬ (¬p v q) ⟹ (r ∧ s)

Para el enunciado considerar las siguientes proposiciones:
p: Estudio
q: Tengo trabajo
r: Voy al gimnasio
s: Estoy contento

Si no es el caso no estudio o tengo trabajo entonces voy al gimnasio y estoy contento

3. Representar con notación lógica los siguientes enunciados (recuerde explicar cada proposición y el
enunciado que abarca):

a. Si mi amigo se enoja, tengo que dejar que le pase; y si dejo que le pase entonces podremos
conversar y llegar a un acuerdo. Por lo tanto, si llegamos a un acuerdo es porque mi amigo no
se enoja y podemos conversar.

p= “mi amigo se enoja”

q= “tengo que dejar que le pase”
r= “podremos conversar”
s= “Podremos llegar a un acuerdo”

[(p => q)] ^ (q => r) ^ s] => [s <=> (¬p ^ r)]

b. Si domino el inglés y hablo francés entonces no tendré problemas para viajar. Y si tengo
problemas para viajar, entonces es porque no hablo francés o no tengo pasaporte. Por lo
tanto, si no tengo pasaporte y no domino el inglés, entonces tengo problemas para viajar.

p= “domino el ingles”
q= “hablo francés”
r= “tengo problemas para viajar”
s= “tengo pasaporte”

[(p ^ q) => ¬r] ^ [r =>(¬q v ¬s)] => [(¬s ^ ¬p) => r]

3
 Material Elaborado por:
INGENIERIAS Ing. Maritza Mendieta

PROGRAMACION Período Lectivo: 2022-2022

4. Determinar si las siguientes proposiciones son fórmulas contingentes, contradicciones o tautologías

(Utilizar la calculadora lógica).

a. (p ⟺q) ∧ (p ⟹ ¬q) ∧ p

Contradicci
ón

b. [ (p v q) ∧ (p v r)] ⟺ [ p v (q ∧ r)]

Tautología

c. [ (p v q) ∧ r] ⟺ [ (¬p ⟺ ¬q) v ¬r]

4
 Material Elaborado por:
INGENIERIAS Ing. Maritza Mendieta

PROGRAMACION Período Lectivo: 2022-2022

Contingenci
a

Para obtener la respuesta generar las tablas de verdad utilizando la calculadora lógica que se encuentra
en el siguiente enlace: https://sourceforge.net/projects/logiccalculator/?source=typ_redirect

Nota: Para usar la calculadora debe tener instalado Java en su computadora. Puede descargarlo
desde el siguiente enlace (en caso de no tenerlo):
http://www.oracle.com/technetwork/java/javase/downloads/jdk9-downloads-3848520.html

Y para ejecutar la calculadora dar clic con el botón derecho del ratón en el archivo
“LogicCalculator.jar” y seleccionar la opción “Oracle Java Runtime”.

Importante: En el informe se deberá colocar las capturas de pantalla de las tablas generadas con la
calculadora e indicar por qué la proposición es una fórmula contingente, una contradicción o una
tautología.

5
 Material Elaborado por:
INGENIERIAS Ing. Maritza Mendieta

PROGRAMACION Período Lectivo: 2022-2022

5. Simplifique cada uno de estos enunciados hasta lograr el mínimo.

Se pide:
 Encontrar los enunciados.
 Poner en notación lógica.
 Simplificar la proposición.
 Determinar la respuesta.

a. Si no es el caso de que puedo manejar un carro y no tengo licencia entonces puedo manejar
un carro y tengo licencia.

¬(p ^ ¬q) => p ^ q Ley de Morgan

¬p v ¬¬q = p ^ q Doble negacion

¬p v q = (p ^ q) Ley de implicacion

¬(¬p v q) v (p ^ q) Ley de Morgan

¬¬p ^ ¬q v (p ^q) Doble negacion

(p ^¬q) v (p ^ q) Distributiva inversa

p ^ (q v ¬q) Medio excluido

p^V Identidad

Resultado: “Puedo manejar un carro”