Facultad de Ciencias Polticas y Administracin Pblica Matemtica I Gua N 1: Lgica proposicional 1.

Usando smbolos matemticos conocidos y smbolos para los conectivos, expresar las siguientes proposiciones: a) Si dos es par entonces tres es impar b) No es verdad que dos es par o impar c) Si no es verdad que cinco es menor que siete entonces cinco es mayor que siete o cinco es igual a siete 2. Considerando los siguientes smbolos: p: 2 es par q:2 es impar r:5<7 s:5>7 t:5=7 Expresar: a) Si dos es par entonces tres es impar b) no es verdad que dos es par o impar c) Si no es verdad que cinco es menor que siete entonces cinco es mayor que siete o cinco es igual que siete 3. Sea el conjunto de los nmeros naturales. Verificar el valor de verdad para las siguientes proposiciones a) b) c) d) e) f) g) h) i) j) k) ( ( ( ( ( ( ( ( ( ( ( ) ) ) ) ) ) ) ) ) ) )

4. Clasifique las siguientes proposiciones en Tautologa, Contradiccin o Contingencia. a) ( b) c) ( ) ( ) ) ( ( ) )

Claudio Bez Ayudanta Matemticas I

d) ( e) (

) ( )

) ( )

5. Construya la tabla de verdad respectiva para las siguientes proposiciones a) ( b) ( c) ( ) ) ) ( ( ( ) ) )

6. Problema de aplicacin (PROPUESTO) Luego de un crimen, se comprueba los siguientes hechos: El asesino de Don Juan es su hijo Pedro o su sobrino Diego. Si Pedro asesin a su padre entonces el arma est escondida en la casa. Si Diego dice la verdad entonces el arma no est escondida en la casa. Si Diego miente entonces a la hora del crimen, l se encontraba en la casa. Diego no estaba en la casa a la hora del crimen. Quin es el asesino?

Claudio Bez Ayudanta Matemticas I