UNIVERSIDAD ANDRÉS BELLO

DEPARTAMENTO DE MATEMÁTICAS
COORD. HECTOR AGUILERA
MATEMATICA GENERAL – FMM 003

AYUDANTÍA : LÓGICA

1.- Dadas las siguientes proposiciones lógicas, determine el valor de verdad de la

siguiente proposición compuesta: [( p ∧ q ) ⇒ ( r ∨ q )] ⇔ ( p ⇒ r ) sí:
p : 5 2 + 32 = 5 + 3
q: 2 4
≠ 4 2

r : a − b 3 = ( a − b )3
3

2.- Usando tabla de verdad determinar si la siguiente proposición es tautología,

contingencia o contradicción: [ p ∧ ( p ∨ q )] ⇔ p

3.- Usando algebra proposicional, determine cuál es el valor de verdad de:

[ ( p ⇒ q )∧ ( p∨ q) ]

4.- Sean p, q y r proposiciones, tales que: p ⇒ (q ⇒ r ) es una proporción

falsa. Determine el valor de verdad de la proposición: ( p ∧ r ) ⇔ (q ∧ r )

5.- Determinar el valor de verdad de p y r, para que junto con la proposición q que es

[( p ⇒ q ) ∧ (q ∧ r )]⇒ ( p ⇔ q) Sea Falsa

verdadera, haga, que la proposición:

6.- Demuestre, usando álgebra lógica, las siguientes equivalencias entre esquemas.

a) [( p ∧ q )∨ ( q ∧ p ) ]≡ q
b) q ∧ [ ( p ∧ q) ⇒ ( p ∨ q ) ] ≡ p ∧ q
c) [ ( p∧q ) ⇒ r ] ⇔[ ( p ⇒ r ) ∨ ( q ⇒r )]

7.- Si se sabe que: [( p ∨ q ) ⇒ ( p )] ⇒ [r ⇒ p] es falsa, determine el valor de:

a) p , q , r
b) [( p ∧ q ) ⇒ (r ∨ q )] ⇔ ( p ⇒ r )
8.- Se define el nuevo conectivo o mediante la tabla adjunta.
p q p o q
V V F
Use tablas de verdad para determinar el valor de: V F F
a) [( p o q ) ∧ ( p ⇒ q )] F V F

b ) ( p o q) ∨ (p o q)
F F V

9.- Dado el conjunto A = { 1, 3, 5, 7 } Determine el valor de verdad de las

siguientes proposiciones:
a) ( ∃ x ∈A/ 4x2 – 19x – 5 = 0 ) ∨ ( ∃ x ∈A/ x2 = x )
b) ( ∃ x ∈A/ 2x + 3y = 5x ) ∧ ( ∃ x ∈A/ 2x = x )