UNIVERSIDAD ANDRES BELLO Departamento de Matemticas ALGEBRA FMM 010 Marzo / 2011

GUIA DE EJERCITACION N2 Lgica Proposicional

1.- Encuentre los valores posibles de las proposiciones p ; q ; r sabiendo que:
a) p q es verdadero. b )( p q ) ( p r ) q r c ) p q es falso.

) )

es verdadero.

d ) p q ( p r ) q r es falso. e)( p q r ) ( p q r ) es verdadero.

2.- En cada caso determine si la informacin es suficiente para decidir el valor de verdad de la proposicin y si es as determine el valor de verdad de la proposicin y si no demuestre que ambos valores son admisibles:
b) p ( q r ) a )( p q ) r c )( p q ) q p d )( p q ) ( p r )

; ( q r ) es verdadera.

; r es verdadera.

; q es verdadera. ; p =V y r = F.

3.-Niegue las siguientes proposiciones y estudie su valor de verdad:

a )( x )( y ) / xy = y. b)( y )( x ) / xy = y. c)( y )( x ) / y = 5 x 9

4.- Demostrar las siguientes afirmaciones utilizando las propiedades de las tablas de verdad: a) Demostrar que: x = 3 x = 2

(1) x + y = 7 x = 2 ( 2) y x = 2 x = 3 ( 3) x + y = 7 y x = 2

b) Demostrar que: y=1

(1) 2 x + y = 7 2 x = 4 ( 2) 2 x + y = 5 y = 1 ( 3) 2 x + y = 7 2 x + y = 5 ( 4) 2 x 4