Centro de Docencia de Ciencias Bsicas para Ingeniera Facultad de Ciencias de la Ingeniera Gua 1 Lgica 1 Esperanza casanova Laudien.
1) Determine cules de las siguientes frases son proposiciones. ( Marque con un asterisco las que lo son.) a) . ______ b) Si a 3 le resto 16 me da 13. ______ c) Debo buscar el mnimo comn mltiplo. ______ d) El nmero 1 es primo. ______ e) Es primo el nmero 3? ______ f) Primos o compuestos. ______ g) Eres lo mximo. ______ h) Los nmeros naturales se dividen en nmeros Primos, compuestos y el 1. ______
2) Escriba en lenguaje simblico las siguientes proposiciones, definiendo las proposiciones simples que la componen, determine su valor de verdad i) El 7 es primo por consiguiente, tiene solo dos divisores. j) El nmero 5 es primo, pero el 4 no. k) Miguel trabaja en su tarea de lgica, Luis juega en el pc. l) No es cierto que: 4+4 es 9 o 5+7 es 12. m) Si 4+5 es 16, 3 por 3 es 10. n) No es cierto que 16 es mltiplo de 3, el 15 si lo es. o) Si 2 + 2 = 5, entonces, 3 + 3 = 6. p) Es falso que 1 + 1 = 3 2 + 1 = 3. q) ( 2 < 1 v 2 > 0 ) entonces 2 es impar. r) Si 2 > 1, entonces, 2 es impar y 3 > 1
3) Considerando las siguientes proposiciones en el conjunto de los reales: p: Los nmeros reales entre 1 y 2 no se pueden contar. q: 3 + 7 = 10 r: Entre los nmeros 1 y 2 no hay nmeros. a) Escribir en palabras las siguientes proposiciones compuestas y diga el valor de verdad de cada una de ellas. i) p r v
ii) r q v
iii) r s . iv) ( ) p q r . v v)
4) Sabiendo que p es una proposicin verdadera y q es proposicin falsa encuentre el valor de verdad de la siguiente proposicin.
( ) ( ) | | p q p q p v .
Universidad Austral de Chile Facultad de Ciencias de la Ingeniera Centro de Docencia de Ciencias Bsicas para Ingeniera Facultad de Ciencias de la Ingeniera Gua 1 Lgica 2 Esperanza casanova Laudien.
5) Construya la tabla de verdad de la siguiente proposicin. Determine si es tautologa, contradiccin o contingencia. a) ( ) p q p .
6) Determine si las siguientes enunciados son verdaderos, si no lo fueren determine alguno que si lo sea: a) La negacin de la proposicin p : es un nmero entero, es p : es un nmero racional. b) Si 3 es nmero primo entonces 4 es compuesto, es equivalente a decir, si 3 no es nmero primo 4 no es compuesto.
7) Dada la siguiente informacin, determine el valor de verdad de p y de q a) ( ) p q . es verdadera. p: q: b) ( ) p q es falsa. p: q:
8) Dados log tauto ia t = y contradiccin o =
a) Dado ( ) r q p v es una proposicin falsa, determine el valor de verdad de la siguiente proposicin. ( ) | | ( ) | | { } s r q p r q p . v v v b) Sabiendo que p es una proposicin verdadera y q es proposicin falsa encuentre el valor de verdad de la siguiente proposicin.
( ) ( ) | | p q p q p v .
9) Sabiendo que: p: 5 es nmero par q: 5 es nmero entero Escriba en lenguaje simblico las siguientes proposiciones, a) No es cierto que; 5 sea nmero entero o par b) 5 es nmero entero o 5 es nmero par. Obs: puede requerirse uso de parntesis para dar el sentido correcto
10) Niegue las proposiciones anteriores usando lenguaje simblico y luego traduzca a lenguaje formal..
11) Escriba la negacin de cada una de las afirmaciones anteriores en castellano. (Use la estrategia usada en la 2)