Circuitos Eléctricos

Matemáticas Discretas
Grupo 103

Taller Lógica Proposicional

Cristhian Mateo Ramírez Rubiano

Juan José Rodríguez Herrera
Juan Jose Vidales
Jersson Duvan Sierra Romero
Laura Valentina Mesa Bonilla
1 semestre

Docente
Bernabé Buitrago Domínguez

Universidad de Cundinamarca
Pensamiento Algorítmico

2022
 Circuitos Eléctricos
Matemáticas Discretas
Grupo 103
ACTIVIDAD: ANALIZANDO PROPOSICIONES

Conformar equipos de trabajo con 4 integrantes para desarrollar las actividades

propuestas

1. Si p es verdadero (1), q es falso (0) y r es verdadero (1), determinar el valor de

verdad de las siguientes proposiciones:

A. ¬[(¬𝑝˄¬𝑞) ˄(𝑝˄𝑟)]

¬ [(¬1˄¬0) ˄ (1˄1)]

¬ [(0) ˄ (1)]

¬ [0]

1 VERDADERA

B. ¬[(¬𝑝˅𝑞) ˄¬ (𝑞˄ ¬𝑝)] → (¬𝑝 ˅ ¬ 𝑞)

¬ [(¬1˅0) ˄¬ (0˄ ¬1)] → (¬1 ˅ ¬ 0)
¬ [(0˅0) ˄¬ (0˄0)] → (0 ˅ 1)
¬ [(0) ˄¬ 0] → (1)
¬ [0 ˄ 1] → (1)
¬0→1
1→ 1
1 VERDADERA

2. Determine el tipo de proposición (Tautología, contradicción, contingencia):

A. [(𝑝˄𝑞) ˅ 𝑟] ↔ [(𝑝 ˅ 𝑞) ˄(𝑞˅𝑟)]
 𝑝
 𝑞
 𝑟
 𝑝˄𝑞
 (𝑝˄𝑞) ˅ 𝑟
 𝑝˅𝑞
 𝑞˅𝑟
 (𝑝 ˅ 𝑞) ˄(𝑞˅𝑟)
 [(𝑝˄𝑞) ˅ 𝑟] ↔ [(𝑝 ˅ 𝑞) ˄(𝑞˅𝑟)]
R=Contingencia
 Circuitos Eléctricos
Matemáticas Discretas
Grupo 103

p q r p˄q (p˄q) p˅q q˅r (p˄q) [(p˄q)

˅r ˄ ˅ r] ↔
(𝑞˅𝑟) [(p˄q)
˄
(𝑞˅𝑟)]
V V V V V V V V V
V V F V V V V V V
V F V F V V V V V
V F F F F V F F V
F V V F V V V V V
F V F F F V V V F
F F V F V F V F F
F F F F F F F F V

B. [(𝑝 → (𝑞˅ 𝑟)] ↔ [(𝑝 → 𝑞) ˅ (𝑝 → 𝑟)]

 𝑝
 𝑞
 𝑟
 𝑞˅ 𝑟
 𝑝 → (𝑞˅ 𝑟)
 𝑝→𝑞
 𝑝→𝑟
 [(𝑝 → 𝑞) ˅ (𝑝 → 𝑟)]
 [(𝑝 → (𝑞˅ 𝑟)] ↔ [(𝑝 → 𝑞) ˅ (𝑝 → 𝑟)]
R=Tautología
 Circuitos Eléctricos
Matemáticas Discretas
Grupo 103

p q r q˅r p→(q˅r p→q p→r [(p→q) [p→(q˅r)

) ˅ ]
(p→r)] ↔
[(p→q) ˅
(p→r)]

V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V V V V V V
F V F V V V V V V
F F V V V V V V V
F F F F V V V V V

1. Demuestre que las proposiciones ￢ (p ∧ q) y ( ￢ p ∨ ￢ q) son lógicamente

equivalentes.
￢ (p ∧ q)
p q p ∧q ￢ (p ∧q)

V V V F
V F F V
F V F V
F F F V

(￢p ∨ ￢q)
￢p ￢q (￢p ∨ ￢q)

F F F
F V V
V F V
V V V

R=Si son equivalentes

 Circuitos Eléctricos
Matemáticas Discretas
Grupo 103

2. Encuentre el conjunto de verdad para cada función proposicional p(x) definida sobre
el conjunto N de enteros positivos.
a) Sea p(x) “x + 4 > 9”.
X+4>9
X>9-4
X>5
{X/X>5}
R=Si pertenece a enteros positivos. VERDADERO
b) Sea p(x) “x + 5 < 3”.
X+5<3
X<3-5
X<-2
{X/X<-2}
R=Si pertenece a números enteros positivos. FALSO
c) Sea p(x) “x + 5 > 3
X+5>3
X>3-5
X>-2
{X/X<-2}
R=No pertenece a números enteros positivos. FALSO

3. Dado los siguientes predicados, ¿qué valores de las variables los hacen ciertos?
A. Q (x, y): X = y + 24. ¿Cuál es el valor de verdad de Q (30, 1), Q (2,0) y Q (12, 1)?

Remplazamos
Q (30,1):
30=1+24
30=25
Falso

Remplazamos con la segundo

Q (2,0):
2=0+24
2=24
Falso
 Circuitos Eléctricos
Matemáticas Discretas
Grupo 103
Remplazamos con la tercera
Q (12,1):
12=1+24
12=25
Falso

B. R (x, y, z): X + y = z. ¿Cuál es el valor de verdad de R (1, 4, 5), R (4, 0, 11)?

Remplazamos
R (1,4,5):
1+4=5
5=5
VERDADERO

Remplazamos con la segundo

R (4,0,11):
4+0=11
4=11
FALSO