Scribd
Cargar
6 vistas2 páginas

Lógica Proposicional: Ejercicios y Soluciones

El documento es un trabajo práctico sobre lógica proposicional para estudiantes de informática, que incluye ejercicios sobre identificación de proposiciones, simbolización, tablas de verdad y equivalencias lógicas. Se presentan diferentes tipos de proposiciones, así como tareas para simplificar y demostrar equivalencias utilizando leyes lógicas. El trabajo está estructurado en secciones que abordan desde la identificación de proposiciones simples y compuestas hasta la verificación de condiciones para la verdad de ciertas proposiciones.

Cargado por

nashoxd
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
6 vistas2 páginas

Lógica Proposicional: Ejercicios y Soluciones

El documento es un trabajo práctico sobre lógica proposicional para estudiantes de informática, que incluye ejercicios sobre identificación de proposiciones, simbolización, tablas de verdad y equivalencias lógicas. Se presentan diferentes tipos de proposiciones, así como tareas para simplificar y demostrar equivalencias utilizando leyes lógicas. El trabajo está estructurado en secciones que abordan desde la identificación de proposiciones simples y compuestas hasta la verificación de condiciones para la verdad de ciertas proposiciones.

Cargado por

nashoxd
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

ALGEBRA Y GEOMETRIA ANALITICA

ING. EN INFORMATICA – ANALISISTA DE SISTEMAS – LIC. EN SISTEMAS – PROF. EN INFORMATICA


Profesores: Salas A. – Moreno A.
Trabajo Práctico Nº1:
Lógica Proposicional

1) Indicar cuáles de las siguientes expresiones son proposiciones, y en aquellas que lo sean identificar cuáles son
proposiciones son simples y cuáles son compuestas, y simbolizarlas:
(a) ¡Qué calor!
(b) Hace calor.
(c) Es sábado.
(d) No es cierto que Juan habla francés e inglés.
(e) Llueve.
(f) Hace calor y tengo ganas de ir a la playa.
(g) Tengo hambre, frío y no consigo un taxi.
(h) Si un número es divisible por 2 y por 3, es divisible por 6.
(i) 5 es un número primo.
(j) Si llueve, entonces las calles están mojadas.
(k) Si un alumno realiza correctamente el 70% del examen, está aprobado.
(l) Para aprobar el examen se debe contestar correctamente los ítems 1 ó 2.
(m) Victoria irá al estadio si, y sólo si, juega su amigo Adrián.
(n) Los números 2 y 7 son primos.
(o) Los estudiantes Diego y Fernando son primos.
(p) En el restaurante pido como postre helado o flan.
(q) ¿Qué hora es?
(r) Si la sequía persiste no sólo se secarán los pastos, sino que aumentarán los incendios forestales.
(s) ¡Bravo! ¡Excelente!
2) Escriba en forma simbólica los siguientes enunciados
(a) Si las exportaciones disminuyen entonces bajarán las utilidades
(b) Los precios son altos si y sólo sí los costos aumentan
(c) Si la producción aumenta entonces bajarán los precios
(d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa
(e) Si la contaminación aumenta entonces existirá restricción vehicular adicional
3) Confeccionar las tablas de verdad de las siguientes proposiciones:
(a) ¬(p ∧ q) (c) (¬p ↔ q) ∨ ¬q
(b) ¬p ∧ q (d) (p ↔ q) ∧ ¬q

1/2
ALGEBRA Y GEOMETRIA ANALITICA
ING. EN INFORMATICA – ANALISISTA DE SISTEMAS – LIC. EN SISTEMAS – PROF. EN INFORMATICA
Profesores: Salas A. – Moreno A.
(e) (p → q) ∨ (q ∧ ¬p) (g) (p ∨ q) ∧ ¬p
(f) (q ↔ p) ∨ (p → q) (h) ¬(p ∧ ¬q) ↔ ¬(p ∨ q)
4) Determinar los valores de verdad de p, q y r si la proposición [q ∨ (p → ¬r)] ∧ [¬q → (¬q ∨ r)] es verdadera y
(¬q ∨ r) es falsa.
5) ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:
(a) [(q ↔ p) ∧ ¬q] → (p ∧ ¬q) falsa.
(b) [(¬p → q) → ¬r] ∨ [¬q → r] falsa.
(c) [¬p ∧ (p ∨ q)] ∧ (p ↔ q) verdadera.
6) Proposiciones equivalentes: decimos que dos proposiciones son equivalentes cuando los valores

de verdad de ambas tablas son iguales. Determine si las siguientes proposiciones son

equivalentes o no.

(a) [(p ∧ ¬q) ∨ (q ∧ ¬p)] con [(p → q) → (q → p)]

(b) (p ↔ q) con (¬p ↔ ¬q)

(c) [p → (q ∨ r)] con [(p → q) ∨ (q → r)]

(d) [p → (q ∧ r)] con [¬p ∨ (q ∧ r)]

(e) [¬(p ∨ q)] con (¬p ∨ ¬q)

7) Simplificar las siguientes proposiciones utilizando las leyes lógicas:

(a) p → [¬q → (p ∨ q)] (d) p ∧ [(q ∧ ¬p) → (p ∨ ¬q)]


(b) (¬q ↔ r) ∨ ¬r (e) p ∨ [(q → ¬q) ∧ (p → ¬p)]
(c) ¬[(¬p → q) ↔ ¬(p ∨ ¬q)]
8) Demostrar si las siguientes proposiciones son equivalentes (⇔) utilizando las leyes lógicas.

(a) [[(¬q ∨ r) → q] ∨ (p ∧ r)] ⇔ [(¬q ∨ p) ∧ (¬q ∨ r)]


(b) [(p → q) ∧ (¬p → q)] ⇔ q
(c) [(p → q) ∧ (p → r)]] ⇔ [p → (q ∧ r)]
(d) [(p ∨ q) → (p ∧ q)] ⇔ (p ⇔ q)
(e) (p → q) ⇔ [(¬q → ¬p)
(f) [(¬(p ∧ q)) → r] ⇔ [¬[(p → ¬q) ∧ ¬r]

2/2

También podría gustarte