VICERRECTORADO DOCENTE Código: GUIA-PRL-001
CONSEJO ACADÉMICO
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: ASIGNATURA: PROGRAMACIÓN
ALUMNO: JORGE LUIS ORELLANA PINEDA
TÍTULO PRÁCTICA: Teoría de Proposiciones: representación, proposiciones
NRO. PRÁCTICA: 1
simples y 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 de trabajos en equipo.
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 la práctica y presentar el
instrucciones que se dará al
avance al final de la sesión de clase. Es importante que en la resolución
estudiante):
se refleje todo el 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.
Docentes: Ing. Paola Ingavélez, Ing. Maritza Mendieta, Ing. Pilar Morquecho, Ing. Freddy Avila
Firma: _______________________________
Resolución CS N° 076-04-2016-04-20
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2023-2023
Ejercicios Teoría de Proposiciones
TEMA:
Libro Fundamentos de Matemática y Lógica (Eduardo Gutierrez González y Raul Larios García).
Capítulo 6 resolución de ejercicios: 6.1; 6.2; 6.3; 6.7.
EJERCICIOS 6.1
Decida si las siguientes expresiones son o no son proposiciones.
1. El Fortran es muy útil a mi tío. Es proposición
2. X es positiva. Es proposición
3. 5 es raíz del polinomio P (x) sólo si P (5) = 0 Es proposición
4. 28. No es proposición.
5. La computadora tiene un disco de 100 megabytes. Es proposición
6. Computadora rápida. No es proposición
7. Rojo es menor que azul. Es proposición
8. Si 7 divide a 35, entonces 3 divide a todo múltiplo de 35. Es proposición
9. Si 3 divide a x, entonces 3 divide a todo múltiplo de x. Es proposición
10. El Pascal y el Basic son equivalentes. Es proposición
EJERCICIOS 6.2
Diga cuáles son los conectivos, si es que existen, en las siguientes proposiciones.
1. Es falso que el Prolog sea un lenguaje difícil de aprender.
negación
2. Tanto el Basic como el Pascal son lenguajes de computación.
conjunción
3. Ni Carlos, ni José saben List.
negación
4. La división es un algoritmo, por consiguiente, se puede programar.
implicación
5. Laura estudiará Lógica sólo si Ximena pasa temprano por ella.
implicación
6. Si Miguel no pasa temprano, entonces ni Víctor compra los boletos, ni Arturo saluda a Beti.
implicación negación
7. Es necesario y suficiente que la suma de 4, 7, 9 y 1 sea múltiplo de tres para que tres divida al
doble implicación conjunción doble implicación
4791, o al 7914, o al 9174.
disyunción
2
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2021-2022
8. O bien aprendo un lenguaje de computación, o bien aprendo Lógica.
disyunción
9. 20 es número buscado, solo si 20 es raíz del polinomio 𝑥 2 − 17𝑥 − 60.
implicación
10. El número 49147 no es múltiplo de tres, sin embrago no es primo.
negación conjunción negación
11. No se Lógica a menos que aprenda Prolog.
implicación
12. Iré a la conferencia sólo si esta es de computación.
Implicación
EJERCICIOS 6.3
Simbolizar las siguientes proposiciones:
1. Si Pedro no sabe List, entonces Lura compra un libro de List o escribe el programa en Pascal.
((¬(𝑷)) → ((𝑸) ∨ (𝐑)))
2. -3 es raíz de 𝑥 5 + 3𝑥 4 − 𝑥 3 + 4𝑥 2 − 9𝑥 + 3 solo si x+3 divide al polinomio 𝑥 2 + 3𝑥 − 3 o al polinomio
𝑥 3 + 2𝑥 − 1.
((𝑷) → ((𝑸) ∨ (𝑹)))
3. El número 𝑥 = 𝑥0 𝑥1 𝑥2 … 𝑥𝑛 es divisible por 3 o por 9 si y sólo si 𝑥0 +𝑥1 + 𝑥2 + ⋯ +𝑥𝑛 es divisible por 9.
((𝑷) ∨ ((𝑸) ↔ (𝑹)))
4. Una condición necesaria y suficiente para que el número 11 divida al número 𝑥 = 𝑥0 𝑥1 𝑥2 … 𝑥𝑛 es que
11 divida al número 𝑥0 −𝑥1 + 𝑥2 − ⋯ + (−1)𝑛 𝑥𝑛 .
((𝑷) ↔ (𝑸))
5. La computadora reinicia el proceso de encender sólo si, se oprimen las teclas “alt”, “control” y “supr”
simultáneamente.
((𝑷) → ((𝑸) ∧ (𝑹)))
6. La palabra “CLS” del lenguaje Basic no es una sentencia de control.
(¬(𝑷))
7. 5 no es raíz del polinomio 𝑥 2 − 𝑥 + 1 , ni del polinomio 𝑥 2 − 𝑥 + 5.
(¬(𝑷)¬(𝑸))
8. No es cierto que, el Fortran sea un lenguaje de programación estructurado y si el Pascal es
estructurado entonces todo estudiante de la Universidad debe aprenderlo.
(¬(𝑷) ∧ ((𝑸) → (𝑹)))
3
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2023-2023
EJERCICIOS 6.7
Encuentre la tabla de verdad de las fórmulas indicadas:
1. (𝑴 ∧ ¬𝑩) → 𝑩
M B ¬𝑩 (𝑴 ∧ ¬𝑩) (𝑴 ∧ ¬𝑩) → 𝑩
V V F F V
V F V V F
F V F F V
F F V F V
2. (𝑷 → 𝑸) → ((𝑸 → 𝑹) → (𝑷 → 𝑹))
P Q R 𝑷→𝑸 𝑸→𝑹 𝑷→𝑹 ((𝑸 → 𝑹) → (𝑷 → 𝑹)) (𝑷 → 𝑸) → ((𝑸 → 𝑹) → (𝑷 → 𝑹))
V V V V V V V V
V V F V F F V V
V F V F V V V V
V F F F V F F V
F V V V V V V V
F V F V F V V V
F F V V V V V V
F F F V V V V V
3. ((𝑷 → ¬𝑸) ∧ (𝑷 → 𝑸)) → ¬𝑷
P Q ¬𝑸 𝑷 → ¬𝑸 𝑷→𝑸 (𝑷 → ¬𝑸) ∧ (𝑷 → 𝑸) ¬𝑷 (𝑷 → ¬𝑸) ∧ (𝑷 → 𝑸)) → ¬𝑷
V V F F V F F V
V F V V F F F V
F V F V V V V V
F F V V V V V V
4
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2021-2022
4. (𝑷 → 𝑹) ∧ ((𝑷 → (¬𝑹 ∨ 𝑺)) → (𝑷 → 𝑺))
P R S 𝑷 → 𝑹 ¬𝑹 ¬𝑹 ∨ 𝑺 𝑷 → (¬𝑹 ∨ 𝑺) (𝑷 → 𝑹) ∧ ((𝑷 → (¬𝑹 ∨ 𝑺)) 𝑷→𝑺 (𝑷 → 𝑹) ∧ ((𝑷 → (¬𝑹 ∨ 𝑺)) → (𝑷 → 𝑺))
V V V V F V V V V V
V V F V F F F F F V
V F V F V V V F V V
V F F F V V V F F V
F V V V F V V V V V
F V F V F F V V V V
F F V V V V V V V V
F F F V V V V V V V
5. ¬(𝑷 ∨ (𝑸 → 𝑹)) ↔ (¬𝑷 ∧ (𝑸 ∨ ¬𝑹))
P Q R 𝑸→𝑹 𝑷 ∨ (𝑸 → 𝑹) ¬(𝑷 ∨ (𝑸 → 𝑹) ¬𝑹 𝑸 ∨ ¬𝑹 ¬𝑷 ¬𝑷 ∧ (𝑸 ∨ ¬𝑹) ¬(𝑷 ∨ (𝑸 → 𝑹)) ↔ (¬𝑷 ∧ (𝑸 ∨ ¬𝑹))
V V V V V F F V F F V
V V F F V F V V F F V
V F V V V F F F F F V
V F F V V F V V F F V
F V V V V F F V V F V
F V F F F V V V V V V
F F V V V F F F V F V
F F F V V F V V V V F
6. (𝑷 ∨ 𝑸) ↔ (¬𝑷 ∧ ¬𝑸)
P Q 𝑷∨𝑸 ¬𝑷 ¬𝑸 ¬𝑷 ∧ ¬𝑸 (𝑷 ∨ 𝑸) ↔ (¬𝑷 ∧ ¬𝑸)
V V V F V F F
V F V F F F F
F V V V V V V
F F F V F F V
5
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2023-2023
7. (𝑨 → (𝑩 ↔ 𝑪)) → (𝑨 → 𝑪)
A B C 𝑩↔𝑪 𝑨 → (𝑩 ↔ 𝑪) 𝑨→𝑪 (𝑨 → (𝑩 ↔ 𝑪)) → (𝑨 → 𝑪
V V V V V V V
V V F F F F V
V F V F F V V
V F F V V F F
F V V V V V V
F V F F V V V
F F V F V V V
F F F V V V V
8. ((𝑨 → 𝑩) → (¬𝑩 ↔ 𝑪)) → (𝑨 → 𝑪)
A B C 𝑨→𝑩 ¬𝑩 ¬𝑩 ↔ 𝑪 (𝑨 → 𝑩) → (¬𝑩 ↔ 𝑪) 𝑨→𝑪 ((𝑨 → 𝑩) → (¬𝑩 ↔ 𝑪)) → (𝑨 → 𝑪)
V V V V F F F V V
V V F V F V V F F
V F V F V V V V V
V F F F V F V F F
F V V V F F F V V
F V F V F V V V V
F F V V V V V V V
F F F V V F F V V
9. 𝑹 ∨ 𝑺 ↔ ((𝑷 → 𝑹) ∨ (¬𝑷 → 𝑺))
P R S 𝑹∨𝑺 𝑷→𝑹 ¬𝑷 ¬𝑷 → 𝑺 (𝑷 → 𝑹) ∨ (¬𝑷 → 𝑺) 𝑹 ∨ 𝑺 ↔ ((𝑷 → 𝑹) ∨ (¬𝑷 → 𝑺))
V V V V V F V V V
V V F V V F V V V
V F V V F F V V V
V F F F F F V V F
F V V V V V V V V
F V F V V V F V V
F F V V V V V V V
F F F F V V F V F
6
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2021-2022
10. 𝑹 → (𝑩 → 𝑹)
B R 𝑩→𝑹 𝑹 → (𝑩 → 𝑹)
V V V V
V F F V
F V V V
F F V V
PUNTOS ADICIONALES:
1. Determinar si las siguientes proposiciones son fórmulas contingentes, contradicciones o tautologías
(comprobar con la calculadora lógica). 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.
a) [ (p ∨ ¬q) → ¬ (¬p ∧ q)] ∧ [ (¬p ∧ ¬q) ∧ (¬p ∧ q)]:
Es una Contradicción, porque todas las salidas son falsas (0).
b) [ ( p ∨ ¬q ) → ¬( ¬p ∧ q ) ] ∨ ¬[¬( p → ¬q ) ]:
Es una Tautología, porque todas las salidas son verdaderas (1).
7
Material Elaborado por:
Ing. Paola Ingavélez
Carrera de Computación Ing. Maritza Mendieta
Ing. Pilar Morquecho
Ing. Freddy Avila
PROGRAMACION Período Lectivo: 2023-2023
c) ( p → q ) ∧ ( p ∨ ¬r ) ∨ ( p → r ) → ( p ∧ ¬q ):
Es CONTINGENTE; porque nos devuelve salidas falsas y verdaderas (0,1)
2. Simplifique cada uno de estos enunciados hasta lograr el mínimo.
Encontrar los enunciados.
Poner en notación lógica.
Simplificar la proposición.
Determinar la respuesta.
a. Yo estoy vacunado y yo no estoy vacunado. O yo estoy vacunado o no estoy vacunado y yo puedo
asistir presencialmente.
(𝐴 ∧ ¬𝐴) ∨ ((𝐴 ∨ ¬𝐴) ∧ (𝐵))
Contradicción Medio excluido
𝐹 ∨ (𝑉 ∧ 𝐵)
Identidad
𝐹∨𝐵
Identidad
𝐵
b. Yo debo mantener las medidas de seguridad y debo mantenerlas o debo mantener las medidas y uso
mascarilla o debo mantener las medidas de seguridad entonces uso mascarilla y me niego a, mantener
las medidas de bioseguridad y no uso mascarilla.
(𝑃 ∧ 𝑃) ∨ (𝑃 ∧ 𝑄) ∨ (𝑃 → 𝑄) ∧ ¬(𝑃 ∧ (¬𝑄))
Idempotencia Doble negación
𝑃 ∨ (𝑃 ∧ 𝑄) ∨ (¬𝑃 ∨ 𝑄) ∧ (𝑃 ∧ 𝑄)
Absorción
𝑃(¬𝑃 ∨ 𝑄) ∧ (𝑃 ∧ 𝑄)
Absorción
𝑃 ∧ (𝑃 ∧ 𝑄)
Absorción
𝑃
