Scribd
Cargar
4 vistas2 páginas

Guía de Problemas de Lógica Matemática

La guía de problemas 2 del curso de nivelación de Matemáticas abarca temas de lógica matemática, incluyendo estructuras con variables proposicionales y propiedades de operadores lógicos. Se presentan ejercicios que involucran tautologías, contradicciones y simplificaciones utilizando tablas de verdad y álgebra proposicional. Los ejercicios están diseñados para ayudar a los estudiantes a comprender y aplicar conceptos fundamentales en lógica matemática.

Cargado por

Israel Cañar
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
4 vistas2 páginas

Guía de Problemas de Lógica Matemática

La guía de problemas 2 del curso de nivelación de Matemáticas abarca temas de lógica matemática, incluyendo estructuras con variables proposicionales y propiedades de operadores lógicos. Se presentan ejercicios que involucran tautologías, contradicciones y simplificaciones utilizando tablas de verdad y álgebra proposicional. Los ejercicios están diseñados para ayudar a los estudiantes a comprender y aplicar conceptos fundamentales en lógica matemática.

Cargado por

Israel Cañar
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

Facultad de Ciencias Naturales y Matemáticas

Curso de Nivelación Febrero 2025


Materia: Matemáticas
Área: Ingeniería y Educación Comercial
Fecha: 04/02/2025

GUÍA DE PROBLEMAS 2

Capítulo Secciones

1.4. Estructura con variables proposicionales.


1. Lógica Matemática. 1.5. Propiedades de los operadores lógicos.

1. LÓGICA MATEMÁTICA.

1.4. Estructura con variables proposicionales.


Ejercicio 1. Si las formas proposicionales g(p, q, r), h(p, q, r) son tautologías, entonces ES CIERTO
que:
a) g(1, 0, 1) ∨ h(0, 1, 0) es una proposición verdadera
b) g ∧ ¬h(1, 1, 0) es una proposición falsa
c) h(1, 1, 1) → ¬g(0, 0, 0) es una proposición verdadera

Ejercicio 2. Si g(p, q, r) es una forma proposicional dada por la expresión [p ↔ r] ∨ [q ↔ r],


entonces:
a) g(1, 0, 1) es verdadera
b) g(0, 0, 0) es falsa
c) g(1, 1, 1) es falsa
d) g(0, 1, 0) es falsa

Ejercicio 3. Supongamos que las variables proposicionales p, q, r, s toman los valores de verdad 1,
1, 0, 1 respectivamente. Determine el valor de verdad de f (1, 1, 0, 1) para cada una de las siguientes
f (a, b, c, d):

a) f : ¬(p ∨ q) → ¬ ([r ∧ s] ∧ p)
b) f : (r → [s ∨ p]) → (q → [p ∨ r])

Ejercicio 4. Considere las variables proposicionales p, q, r. Complete el espacio en blanco con algún
operador lógico para que la forma proposicional sea una tautología.

[(p ∧ q) ∨ r] __ [p → (¬q ∨ r)]

Pag. 1 de 2
Ejercicio 5. Si las formas proposicionales g(p, q, r), h(p, q, r) son tautologías, entonces ES CIERTO
que:

a) La forma proposicional A : g(p, q, r) ∨ ¬h(p, q, r) es contradicción.

b) La forma proposicional B : [g(p, q, r) → h(p, q, r)] ∨ ¬g(p, q, r) es contingencia.

c) La forma proposicional C : [¬g(p, q, r) ∨ ¬h(p, q, r)] → ¬g(p, q, r) es tautología.

1.5. Propiedades de los operadores lógicos.


Ejercicio 6. Demuestre, usando tablas de verdad, que

¬(p ∨ q) ≡ ¬p ∧ ¬q

Ejercicio 7. Simplificar a la mínima expresión las siguientes formas proposicionales, utilizando las
propiedades de los operadores lógicos.

a) [(p ∨ q) ∨ (¬p ∨ q)]

b) (r ∨ ¬q) ∧ (¬r ∨ ¬q)

Ejercicio 8. Utilizando las propiedades de operadores lógicos, reduzca la siguiente forma proposi-
cional a su mínima expresión:

[p ∧ (p ∨ q)] ↔ p

Ejercicio 9. En la siguiente forma proposicional:

[(p → q) ∧ (r → s) ∧ (p ∧ r)] → (q ∧ s)
Determine si es tautología, contradicción o contingencia, usando las propiedades de los operadores
lógicos.

Ejercicio 10. Utilizando ÁLGEBRA PROPOSICIONAL, determine si la siguiente forma proposi-


cional es una tautología, contradicción o contingencia:

{(p → q) → [(p → q) → p]} ∧ p

Guía de Problemas 2 Pag. 2 de 2

También podría gustarte