TPN1 Lógica Proposicional

TECNICATURA UNIVERSITARIA EN PROGRAMACIÓN
TRABAJO PRÁCTICO N°1: LÓGICA PROPOSICIONAL
1. Sin usar tabla de verdad pruebe y/o simplifique según corresponda (indique en
cada paso las leyes del álgebra proposicional que emplea):
1.a ( ¬ p ∨q ) ∧ ( p ∧ ( p ∧ q ) ) ≡ p ∧ q
1.b ( p ∧q ) ∨¬ ( q ∨¬ p ) ≡ p
1.c [ p ∨ ( q ∧ r ) ] ∨ ( ¬ q ∧r ) ≡ p ∨r
1.d ¬ [ ( ¬q ∨ p ) ∧¬ [ ( ¬ p ∧ ( q ∧ r ) ) ∧ ( p ∨r ) ] ]
1.e [ ( p ∨q ) ∧¬ ( ¬ p ∧q ) ] ∨ [ ¬ [ q ∧ ( r ∨ q ) ] ∧ ( p∨ ¬q ) ]
1.f ( ¬ p ∧ ( ¬ q ∧r ) ) ∨ ( q ∧r ∨ ( p ∧r )) ≡ r
1.g p → ( q ∨ r ) ≡ ( p→ q ) ∨ ( p → r )
1.h ( p ∨q ) → r ≡ ( p→ r ) ∧ ( q → r )
1.i p → ( q → p ) ≡¬ p ∨ ( q → p )
1.j [ ( p ∨q ) ∧ ( p → r ) ∧ ( q →r ) ] → r ≡ T
2- Demuestre las equivalencias siguiente comprobando las equivalencias duales (indique

en cada paso las leyes del álgebra proposicional que emplea):
2.a ¬ ( (¬ p∧ q ) ∨ ( ¬ p ∧¬ q ) ) ∨ ( p ∧ q ) ≡ p
2.b ( p ∧ ( p ⟷ q ) ) → q ≡T
2.c ¬ ( p ∧q ) → ( ¬ p ∨ (¬ p ∨ q ) ) ≡ (¬ p ∨ q )
2.d ( ¬ p → ( ¬ p → ( ¬ p ∧q )) ) ≡ p∨ q
2.e p ↔q ≡ ( p∨ q ) → ( p ∧ q )
Cerda Mauricio, Bresanovich Juan Pá gina 1

2.f ( p →r ) ∧ ( q → r ) ≡ ( p ∨q ) → r
2.g ¬ p → ( q →r ) ≡ q → ( p ∨r )
3- Aplicaciones de los cuantificadores
3.1) P(x): x>3, ¿Cuál es el valor de verdad de P(4) y P(2)?
3.2) Q(x,y): x = y +3 . ¿Cuál es el valor de verdad de Q(1,2), Q (3,0) y Q (2,1)?
3. 3) R(x,y,z): x+y = z ¿Cuàl es el valor de verdad de R (1,2,3) y R (0,0,0)?
3.4) Mencione el valor de verdad de cada una de las siguientes proposiciones
3.4.1) Todas las personas no tienen el tiempo para dedicarlo al mantenimiento de sus autos
3.4.2) Todo número natural es un entero
3.4.3) Todos los números primos son impares
3.4.4) Todos los números impares son primos
3.4.5) Algunos números racionales son enteros.
3.5) Indique si las siguientes proposiciones son ciertas para el dominio especificado. (Si no
se especifica entonces el dominio es todo número entero)
3.5.1) x <2 ∀ x P (x)
3.5.2) ∀ x (x > 0 ∨ x < 0)
3.5.2) x+1 > x para todo x real
3.5.2’) Escriba la afirmación anterior empleando el cuantificador universal.

3.6) Mencione si son ciertas o falsas las siguientes proposiciones (si no se especifica el
dominio entonces es todo número entero)
3.6.1) x > 3 ∃ x P(x)
3.6.2) x = x+1 ∃ x P(x)
3.6.3) x 2> 10 ∃ x P(x) Dominio = {1,2,3,4}
3.7) Complete la tabla de valor de verdad Q(x) . x + 1 > 2x - Dominio los números enteros
Q(x) . x + 1 > 2x
Q(0)
Q(-1)
Q(1)
Q(2)
∃x Q(x)
∀ xQ(x)
3.8) Exprese las proposiciones siguientes utilizando cuantificadores y predicados.
3.8.1) Todo estudiante en esta clase ha estudiado pre cálculo
3.8.2) Algún estudiante de esta clase ha visitado Chile

3.8.3) Todos los estudiantes de la clase tomar el curso de Java.
Ejercicios complementarios y de repaso
4. Construya la tabla de verdad de cada una de las siguientes proposiciones
4.a ( p ∨q ) → ( p ∧ q )
4.b ( q → ¬ p) ↔( p ↔ q)
4.c ( ¬ p ↔ ¬q ) ↔ ( p ↔ q )
4.d ( p →q ) → ( q → p )
4.e ( p ↔q ) ↔ ( ( p ∧q ) ∨ (¬ p∧ ¬q ) )
4.f ¬ ( p ∨ ( q ∧r ) ) ↔ ( ( p ∨ q ) ∧ ( p →r ) )
4.g ( ¬ p ↔ ¬q ) ↔ ( q ↔ r )
4.h ( p → ( q → s) ) ∧ ( ¬ r ∨ p ) ∧ q
4.i q ∧ ( ¬r → p )
4.j ( p ∨q ) ∧ r
5. Determine cuál de las proposiciones compuestas siguientes son tautologías y cuáles

contradicciones (utilizando tabla de verdad):
5.a ( ¬ q ∧ ( p →q ) ) →¬ p
5.b ( ( p → q ) ∧ ( q → r ) ) → ( p →r )
5.c ¬ ( q →r ) ∧r ∧ ( p → q )
5.d ( ( p ∨q ) ∧ ( p → r ) ∧ ( q → r ) ) → r

5.e p → ( p ∨q )
5.f p ∧ ( ¬ p ∧q )
6. Demuestre mediante tabla de verdad, las siguientes leyes del álgebra proposicional
6.a) Negación ¬(¬ p )
6.b) Idempotencia p∧ p≡ p
p∨ p≡ p
6.c) Asociativa ( p ∧q ) ∧ r ≡ p ∧ ( q ∧r )
6.d) Conmutativa p ∧q ≡ q ∧ p
6.e) Absorción p ∨ ( p ∧q ) ≡ p
p ∧ ( p ∨q ) ≡ p
6.f) Distributiva p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨r )
REPUESTAS
Actividad Nº1
1)
(¬𝑝 ∨ 𝑞) ∧ (𝑝 ∧ (𝑝 ∧ 𝑞)) = 𝑝 ∧ 𝑞 Asociativa
(¬𝑝 ∨ 𝑞)∧ ((𝑝 ∧ 𝑝) ∧ 𝑞) = 𝑝 ∧ 𝑞 Idempotencia
(¬𝑝 ∨ 𝑞)∧ (𝑝 ∧ 𝑞) = 𝑝 ∧ 𝑞 Distributiva
((𝑝 ∧ 𝑞)∧¬𝑝) ∨ ((𝑝 ∧ 𝑞) ∧ 𝑞) = 𝑝 ∧ 𝑞 Asociativa
((𝑝 ∧¬𝑝)∧ 𝑞) ∨ (𝑝 ∧ (𝑞 ∧ 𝑞)) = 𝑝 ∧ 𝑞 Complemento Idempotencia
(F ∧ 𝑞)∨ (𝑝 ∧ q) = 𝑝 ∧ 𝑞 Dominante

F ∨ (𝑝∧ q) = 𝑝 ∧ 𝑞 Identidad
𝑝∧ q = 𝑝 ∧ 𝑞
2)
(𝑝 ∧ 𝑞) ∨ ¬ (𝑞 ∨ ¬𝑝) = 𝑝 Morgan
(𝑝 ∧ 𝑞) ∨ (¬𝑞 ∧ ¬¬𝑝) = 𝑝 Doble negación
(𝑝 ∧ 𝑞) ∨ (¬𝑞 ∧ 𝑝) = 𝑝 Conmutativa
(𝑝 ∧ 𝑞) ∨ (𝑝 ∧ ¬𝑞) = 𝑝 Distributiva
𝑝 ∧ (𝑞 ∨¬𝑞) = 𝑝 Complemento
𝑝 ∧ T = 𝑝 Identidad
𝑝=𝑝
3)
[𝑝 ∨ (𝑞 ∧ 𝑟)] ∨ (¬𝑞 ∧ 𝑟) = 𝑝 ∨ 𝑟 Asociativa

𝑝 ∨ [ (𝑞 ∧ 𝑟) ∨ (¬𝑞 ∧ 𝑟)] = 𝑝 ∨ 𝑟 Distributiva
𝑝 ∨ r ∧ (𝑞 ∨ ¬𝑞) = 𝑝 ∨ 𝑟 Complemento
𝑝 ∨ r ∧ T = 𝑝 ∨ 𝑟 Identidad
𝑝∨r=𝑝∨𝑟
4)
¬ [(¬𝑞 ∨ 𝑝) ∧ ¬ [(¬𝑝 ∧ (𝑞 ∧ 𝑟)) ∧ (𝑝 ∨ 𝑟)]] Morgan

[¬ (¬𝑞 ∨ 𝑝) ∨ ¬ ¬ [(¬𝑝 ∧ (𝑞 ∧ 𝑟)) ∧ (𝑝 ∨ 𝑟)]] Morgan Doble negación
[(¬¬𝑞 ∧ ¬𝑝) ∨ [(¬𝑝 ∧ (𝑞 ∧ 𝑟)) ∧ (𝑝 ∨ 𝑟)]] Doble negación
[(𝑞 ∧ ¬𝑝) ∨ [(¬𝑝 ∧ (𝑞 ∧ 𝑟)) ∧ (𝑝 ∨ 𝑟)]] Asociativa
[(𝑞 ∧ ¬𝑝) ∨ [(¬𝑝 ∧ 𝑞) ∧ 𝑟 ∧ (𝑝 ∨ 𝑟)]] Absorción
(𝑞 ∧ ¬𝑝) ∨ (¬𝑝 ∧ 𝑞) ∧ 𝑟 Conmutativa
(¬𝑝∧ 𝑞) ∨ (¬𝑝 ∧ 𝑞) ∧ 𝑟 Idempotencia
(¬𝑝 ∧ 𝑞) ∧ 𝑟
5)
[(𝑝 ∨ 𝑞) ∧ ¬ (¬𝑝 ∧ 𝑞)] ∨ [¬ [𝑞 ∧ (𝑟 ∨ 𝑞)] ∧ (𝑝 ∨ ¬𝑞)] Morgan

[(𝑝 ∨ 𝑞) ∧ (¬¬𝑝 ∨ ¬𝑞)] ∨ [[¬ 𝑞 ∨ ¬ (𝑟 ∨ 𝑞)] ∧ (𝑝 ∨ ¬𝑞)] Morgan Doble negación
[(𝑝 ∨ 𝑞) ∧ (𝑝 ∨ ¬𝑞)] ∨ [[¬ 𝑞 ∨ (¬𝑟 ∧ ¬𝑞)] ∧ (𝑝 ∨ ¬𝑞)] Distributiva Absorción
[𝑝 ∨ (𝑞 ∧¬𝑞)] ∨ [¬ 𝑞 ∧ (𝑝 ∨ ¬𝑞)] Complemento Absorción
(𝑝 ∨ F) ∨ ¬q Identidad
𝑝 ∨ ¬q

6)
(¬𝑝 ∧ (¬𝑞 ∧ 𝑟)) ∨ (𝑞 ∧ 𝑟 ∨ (𝑝 ∧ 𝑟)) = 𝑟 Absorción

¬𝑝 ∧ (¬𝑞 ∧ 𝑟) ∨ (𝑞 ∧ 𝑟) = 𝑟 Distributiva
¬𝑝 ∧ 𝑟 ∧ (¬𝑞 ∨ 𝑞) = 𝑟 Complemento
¬𝑝 ∧ 𝑟 ∧ T = 𝑟
7)
𝑝 → (𝑞 ∨ 𝑟) = (𝑝 → 𝑞) ∨ (𝑝 → 𝑟) Distributiva
(𝑝 → 𝑞) ∨ (𝑝 → 𝑟) = (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)
8)
(𝑝 ∨ 𝑞) → 𝑟 = (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) Distributiva
(𝑝 → 𝑟) ∧ (𝑞 → 𝑟) = (𝑝 → 𝑟) ∧ (𝑞 → 𝑟)
9)
𝑝 → (𝑞 → 𝑝) =¬𝑝 ∨ (𝑞 → 𝑝) Equivalencia
¬𝑝 ∨ (𝑞 → 𝑝) =¬𝑝 ∨ (𝑞 → 𝑝)
10)
[(𝑝∨𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟)]→ 𝑟=𝑇 Equivalencias

¬ [(𝑝∨𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟)] ∨ 𝑟=𝑇 Equivalencias
¬ [(𝑝∨𝑞) ∧ (¬𝑝 ∨ 𝑟) ∧ (¬𝑞 ∨ 𝑟)] ∨ 𝑟=𝑇 Morgan
[¬ (𝑝∨𝑞) ∨ ¬ (¬𝑝 ∨ 𝑟) ∨ ¬ (¬𝑞 ∨ 𝑟)] ∨ 𝑟=𝑇 Morgan
[(¬𝑝∧¬𝑞) ∨ (¬¬𝑝 ∧ ¬𝑟) ∨ (¬¬𝑞 ∧ ¬𝑟)] ∨ 𝑟=𝑇 Doble negación
[(¬𝑝∧¬𝑞) ∨ (𝑝 ∧ ¬𝑟) ∨ (𝑞 ∧ ¬𝑟)] ∨ 𝑟=𝑇 Distributiva
[(¬𝑝∧¬𝑞) ∨ (¬𝑟 ∧ (𝑝 ∨ 𝑞))] ∨ 𝑟=𝑇 Distributiva
[((¬𝑝∧¬𝑞) ∨ ¬𝑟) ∧ ((¬𝑝∧¬𝑞) ∨ (𝑝 ∨ 𝑞))] ∨ 𝑟=𝑇 Morgan
[((¬𝑝∧¬𝑞) ∨ ¬𝑟) ∧ (¬ (𝑝∨𝑞) ∨ (𝑝 ∨ 𝑞))] ∨ 𝑟=𝑇 Complemento
[((¬𝑝∧¬𝑞) ∨ ¬𝑟) ∧ T] ∨ 𝑟=𝑇 Identidad
[ (¬𝑝∧¬𝑞) ∨ ¬𝑟] ∨ 𝑟=𝑇 Asociativa
(¬𝑝∧¬𝑞) ∨ (¬𝑟 ∨ 𝑟)=𝑇 Complemento
(¬𝑝∧¬𝑞) ∨ 𝑇=𝑇 Dominante
𝑇 =𝑇
Actividad Nº2
2-a)
2-b)

2-c)

2-d)
2-e)

2-f)
Actividad Nº3
Aplicaciones de los cuantificadores

3.1) P(x): x>3, ¿Cuál es el valor de verdad de P(4) y P(2)?

- P (4) = Verdadero, P(2) = Falso.
3.2) Q(x,y): x = y +3 . ¿Cuál es el valor de verdad de Q(1,2), Q (3,0) y Q (2,1)?

Q (1,2) = Falso, Q(3,0) = Verdadero, Q(2,1) = Falso
3. 3) R(x,y,z): x+y = z ¿Cuál es el valor de verdad de R (1,2,3) y R (0,0,0)?

-R(1,2,3) = Verdadero, R(0,0,0) = Verdadero
3.4) Menciona el valor de verdad de cada una de las siguientes proposiciones

3.4.1) Todas las personas no tienen el tiempo para dedicarlo al
Mantenimiento de sus autos (Falso)
3.4.2) Todo número natural es un entero (Falso)
3.4.3) Todos los números primos son impares (Verdadero)
3.4.4) Todos los números impares son primos (Falso)
3.4.5) Algunos números racionales son enteros. (Verdadero)
3.5) Indique si las siguientes proposiciones son ciertas para el dominio especificado.
(Si no se especifica entonces el dominio es todo número entero)
3.5.1) x <2 ∀ x P (x) (FALSO)
3.5.2) ∀ x (x > 0 ∨ x < 0) (FALSO)
3.5.2) x+1 > x para todo x real
3.6) Mencione si son ciertas o falsas las siguientes proposiciones (si no se específica el
dominio entonces es todo número entero)
3.6.1) x > 3 ∃ x P(x) (VERDADERO)
3.6.2) x = x+1 ∃ x P(x) (FALSO)
3.6.3) 𝑥2 > 10 ∃ x P(x) Dominio = {1,2,3,4} (VERDADERO)

3.7) Complete la tabla de valor de verdad Q(x) . x + 1 > 2x - Dominio los números
enteros
3.8) Exprese las proposiciones siguientes utilizando cuantificadores y predicados.

3.8.1) Todo estudiante en esta clase ha estudiado pre cálculo
V x P(x); donde P(x) = ha tomado pre cálculo.
3.8.2) Algún estudiante de esta clase ha visitado Chile

ƎxV(x); donde V(x) = ha visitado Chile.
3.8.3) Todos los estudiantes de la clase tomar el curso de Java

VxJ(x); donde J(x) = ha tomado el curso de Java.
Actividad Nº4



Actividad Nº5
Actividad Nº6
6.a) Negación ¬ (¬𝑝)

6.b) Idempotencia 𝑝 𝖠 𝑝 = 𝑝
6.c) Asociativa 𝑝 ∨ 𝑝 = 𝑝
(𝑝 𝖠 𝑞) 𝖠 𝑟 = 𝑝 𝖠 (𝑞 𝖠 𝑟)
6.d) Conmutativa 𝑝 𝖠 𝑞 = 𝑞 𝖠 𝑝

6.e) Absorción 𝑝 ∨ (𝑝 𝖠 𝑞) = 𝑝
𝑝 𝖠 (𝑝 ∨ 𝑞) = 𝑝
6.f) Distributiva 𝑝 ∨ (𝑞 𝖠 𝑟) = (𝑝 ∨ 𝑞) 𝖠 (𝑝 ∨ 𝑟)

TPN1 Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

TPN1 Lógica Proposicional

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TPN1 Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

TECNICATURA UNIVERSITARIA EN PROGRAMACIÓN

TRABAJO PRÁCTICO N°1: LÓGICA PROPOSICIONAL

2- Demuestre las equivalencias siguiente comprobando las equivalencias duales (indique

Cerda Mauricio, Bresanovich Juan Pá gina 1

3- Aplicaciones de los cuantificadores

3.1) P(x): x>3, ¿Cuál es el valor de verdad de P(4) y P(2)?

3.2) Q(x,y): x = y +3 . ¿Cuál es el valor de verdad de Q(1,2), Q (3,0) y Q (2,1)?

3. 3) R(x,y,z): x+y = z ¿Cuàl es el valor de verdad de R (1,2,3) y R (0,0,0)?

3.4) Mencione el valor de verdad de cada una de las siguientes proposiciones

3.4.2) Todo número natural es un entero

3.4.3) Todos los números primos son impares

3.4.4) Todos los números impares son primos

3.4.5) Algunos números racionales son enteros.

3.5.1) x <2 ∀ x P (x)

3.5.2) ∀ x (x > 0 ∨ x < 0)

3.5.2) x+1 > x para todo x real

3.5.2’) Escriba la afirmación anterior empleando el cuantificador universal.

Cerda Mauricio, Bresanovich Juan Pá gina 2

3.6.1) x > 3 ∃ x P(x)

3.6.2) x = x+1 ∃ x P(x)

3.6.3) x 2> 10 ∃ x P(x) Dominio = {1,2,3,4}

3.8) Exprese las proposiciones siguientes utilizando cuantificadores y predicados.

3.8.1) Todo estudiante en esta clase ha estudiado pre cálculo

3.8.2) Algún estudiante de esta clase ha visitado Chile

Cerda Mauricio, Bresanovich Juan Pá gina 3

3.8.3) Todos los estudiantes de la clase tomar el curso de Java.

Ejercicios complementarios y de repaso

4. Construya la tabla de verdad de cada una de las siguientes proposiciones

5. Determine cuál de las proposiciones compuestas siguientes son tautologías y cuáles

Cerda Mauricio, Bresanovich Juan Pá gina 4

6.a) Negación ¬(¬ p )

Cerda Mauricio, Bresanovich Juan Pá gina 5

[𝑝 ∨ (𝑞 ∧ 𝑟)] ∨ (¬𝑞 ∧ 𝑟) = 𝑝 ∨ 𝑟 Asociativa

¬ [(¬𝑞 ∨ 𝑝) ∧ ¬ [(¬𝑝 ∧ (𝑞 ∧ 𝑟)) ∧ (𝑝 ∨ 𝑟)]] Morgan

[(𝑝 ∨ 𝑞) ∧ ¬ (¬𝑝 ∧ 𝑞)] ∨ [¬ [𝑞 ∧ (𝑟 ∨ 𝑞)] ∧ (𝑝 ∨ ¬𝑞)] Morgan

Cerda Mauricio, Bresanovich Juan Pá gina 6

(¬𝑝 ∧ (¬𝑞 ∧ 𝑟)) ∨ (𝑞 ∧ 𝑟 ∨ (𝑝 ∧ 𝑟)) = 𝑟 Absorción

[(𝑝∨𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑟)]→ 𝑟=𝑇 Equivalencias

Cerda Mauricio, Bresanovich Juan Pá gina 8

Cerda Mauricio, Bresanovich Juan Pá gina 9

Cerda Mauricio, Bresanovich Juan Pá gina 10

Aplicaciones de los cuantificadores

Cerda Mauricio, Bresanovich Juan Pá gina 11

3.1) P(x): x>3, ¿Cuál es el valor de verdad de P(4) y P(2)?

3.2) Q(x,y): x = y +3 . ¿Cuál es el valor de verdad de Q(1,2), Q (3,0) y Q (2,1)?

3. 3) R(x,y,z): x+y = z ¿Cuál es el valor de verdad de R (1,2,3) y R (0,0,0)?

3.4) Menciona el valor de verdad de cada una de las siguientes proposiciones

3.4.2) Todo número natural es un entero (Falso)

3.4.3) Todos los números primos son impares (Verdadero)

3.4.4) Todos los números impares son primos (Falso)

3.4.5) Algunos números racionales son enteros. (Verdadero)

3.5.1) x <2 ∀ x P (x) (FALSO)

3.5.2) ∀ x (x > 0 ∨ x < 0) (FALSO)

3.5.2) x+1 > x para todo x real

3.6.1) x > 3 ∃ x P(x) (VERDADERO)

3.6.2) x = x+1 ∃ x P(x) (FALSO)

3.6.3) 𝑥2 > 10 ∃ x P(x) Dominio = {1,2,3,4} (VERDADERO)

3.8) Exprese las proposiciones siguientes utilizando cuantificadores y predicados.