UNIVERSIDAD ANDRS BELLO

DEPARTAMENTO DE MATEMTICAS
COORD. HECTOR AGUILERA
ELEMENTOS DE ALGEBRA Y CALCULO ELEMENTAL FMM 032
AYUDANTA : LGICA

1.- Dadas las siguientes proposiciones lgicas, determine el valor de verdad de la

siguiente proposicin compuesta: [( p q ) ( r q )] ( p r )
s:

5 2 + 32

p :
q: 2

= 5 + 3

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

2.- Usando tabla de verdad determinar si la siguiente proposicin es tautologa,

contingencia o contradiccin: [ p ( p q )] p
3.-

Usando algebra proposicional, determine cul es el valor de verdad de:

[ ( p q ) ( p q) ]
4.- Sean p, q y r proposiciones, tales que: p (q r ) es una proporcin
falsa. Determine el valor de verdad de la proposicin: ( p r ) (q r )
5.- Determinar el valor de verdad de p y r, para que junto con la proposicin q que es
verdadera, haga, que la proposicin:

[( p q ) (q r )] ( p q) Sea Falsa

6.- Demuestre, usando lgebra lgica, las siguientes equivalencias entre esquemas.
a)
b)
c)

[( p q ) ( q p ) ] q
q [ ( p q) ( p q ) ] p q

[ ( pq ) r ] [ (

7.- Si se sabe que:

a) p , q , r
b)

p r ) ( q r )]

[( p q ) ( p )] [r p] es falsa, determine el valor de:

[( p q ) (r q )] ( p r )

8.- Se define el nuevo conectivo o mediante la tabla adjunta.

Use tablas de verdad para determinar el valor de:

[( p o q ) ( p q )]
b ) ( p o q) (p o q)
a)

p
V
V
F
F

q
V
F
V
F

p o q
F
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 )

10.- Simplifique, obteniendo una proposicin de tipo afirmativo.

a)

{ [ x en U/ p(x) ] [ x en U/ q(x) ] }

b)

{ x en U/ [ p(x) q(x) ] }

c)

{ [ x en U/ p(x) ] [ x en U/ q(x) ] }