"PROPOSICIONES COMPUESTAS: CONJUNTOS"
DAVID ALEXANDER URIBE GÓMEZ
MATEMÁTICA DISCRETA
NRC-50421
ANDRÉS FELIPE CORREA SEPÚLVEDA
SEMANA 2
20 de mayo de 2024
1. Determine cómo se define una proposición compuesta, cómo se calcula
su tabla de verdad y cómo se clasifica a partir de sus valores.
Una proposición compuesta se define como aquella que contiene más de una proposición
simple y se relacionan a través de conectivas lógicas, como la conjunción, disyunción,
condicional, bicondicional, o disyunción exclusiva[1][4]. Para calcular la tabla de verdad de
una proposición compuesta, se deben considerar los valores de verdad de las proposiciones
simples que la componen y aplicar las reglas lógicas correspondientes a las conectivas
utilizadas en la proposición[1][4].
Las proposiciones compuestas se clasifican en diferentes categorías según sus valores de
verdad. Por ejemplo, una proposición puede ser de verdad de hecho o contingente, lo que
significa que su valor de verdad depende de las proposiciones que la integran y puede
variar entre verdadera y falsa[2]. Por otro lado, una proposición puede ser una
contradicción, lo que implica que su valor de verdad no depende de las proposiciones que la
forman y es siempre falsa[2].
2. Calcule la respectiva tabla de verdad de los siguientes ejercicios y
clasifíquelos según la teoría.
1. (𝑝∧𝑞)⟹𝑝∨¬𝑟
2. ¬[(𝑝∧𝑞)⟹𝑝]
3. [(p∧q)⟹(r∧p)]
Para calcular la tabla de verdad de las proposiciones dadas y clasificarlas según la
teoría, primero asignaremos los valores de verdad a las proposiciones simples p, q,
y r (verdadero = V, falso = F) y luego evaluaremos cada expresión paso a paso.
1. (p∧q)⟹p∨¬r
p q r (p∧q) ¬r p∨¬r (p∧q)⟹p∨¬r
V V V V F V V
V F V V V V V
V F V F F V V
V F F F V V V
F V V F F F V
F V F F V V V
F F V F F F V
F F F F V V V
Clasificación:
- La proposición es una tautología, ya que su valor de verdad es siempre verdadero.
2. ¬[(p∧q)⟹p]
p q (p∧q) (p∧q)⟹p ¬[(p∧q)⟹p]
V V V V F
V F F V F
F V F V F
F F F V F
Clasificación:
- La proposición es una contradicción, ya que su valor de verdad es siempre falso.
3. [(p∧q)⟹(r∧p)]
p q r (p∧q) (r∧p) (p∧q)⟹(r∧p)
V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F F V
F V F F F V
F F V F F V
F F F F F V
Clasificación:
- La proposición es contingente, ya que su valor de verdad puede ser verdadero o
falso dependiendo de los valores de verdad de las proposiciones que la componen.
3 Integre sus procesos y análisis de estos en un documento en el que incluya
todas las proposiciones atómicas que componen a la proposición inicial,
conectores y negaciones existentes. Construya una tabla de verdad para
cada proposición donde se argumenten todos los valores de verdad y
finalmente clasifíquelas según la teoría. Considere integrar todos los pasos
que lo llevaron a la resolución del problema.
Análisis de las Proposiciones y Tablas de Verdad
Proposición 1: (p∧q)⟹p∨¬r
- Proposiciones Atómicas: p, q, r
- Conectores y Negaciones: ∧ (conjunción), ⟹ (condicional), ∨ (disyunción), ¬
(negación)
p q r (p∧q) ¬r p∨¬r (p∧q)⟹p∨¬r
V V V V F V V
V F V V V V V
V F V F F V V
V F F F V V V
F V V F F F V
F V F F V V V
F F V F F F V
F F F F V V V
- Clasificación: Tautología
Proposición 2: ¬[(p∧q)⟹p]
- Proposiciones Atómicas: p, q
- Conectores y Negaciones: ∧ (conjunción), ⟹ (condicional), ¬ (negación)
p q (p∧q) (p∧q)⟹p ¬[(p∧q)⟹p]
V V V V F
V F F V F
F V F V F
F F F V F
- Clasificación: Contradicción
Proposición 3: [(p∧q)⟹(r∧p)]
- Proposiciones Atómicas: p, q, r
- Conectores y Negaciones: ∧ (conjunción), ⟹ (condicional)
p q r (p∧q) (r∧p) (p∧q)⟹(r∧p)
V V V V V V
V V F V F F
V F V F V V
V F F F F V
F V V F F V
F V F F F V
F F V F F V
F F F F F V
- Clasificación: Contingente
Conclusiones
- La primera proposición es una tautología, siempre verdadera.
- La segunda proposición es una contradicción, siempre falsa.
- La tercera proposición es contingente, su verdad depende de los valores de verdad
de las proposiciones que la componen.
Recursos básicos:
Ferrando, J. y Gregori, V. (2012). Inferencia lógica. En Matemática discreta
(pp. 8-17). Editorial Reverté.
Pérez, R. (2013). Tautologías y contradicciones. En Una Introducción a las
Matemáticas Discretas y Teoría de Grafos (pp. 6-22). El Cid Editor
Incorporated.
Villalpando, J. y García, A. (2014). Clasificación de argumentos:
tautología, contradicción y contingencia. En Matemáticas Discretas:
aplicaciones y ejercicios (pp. 31-43). Grupo Editorial Patria.
Recurso complementario:
Espinosa, R. (2016). Matemáticas discretas (pp. 15-22). Alfaomega.
[1] [Link]
[2] [Link]
[3] [Link]
[4] [Link]
[5] [Link]
