Introduccin a la Computacin - 2012

Licenciatura y Profesorado en Ciencias de la Computacin Prctico N 1: Lgica Proposicional

Responda las siguientes preguntas tericas: 1- Cmo est compuesto el alfabeto del Clculo Proposicional? 2- Cules son los pasos que se pueden seguir para convertir una proposicin expresada en lenguaje natural a una frmula bien formada? Ejemplifique. 3- Determinar la verdad o falsedad de las siguientes afirmaciones: a. P Q es verdadera cuando al menos P y Q son verdaderas. b. La implicacin de dos frmulas es falsa cuando el antecedente es verdadero y el consecuente es falso. c. P Q es verdadera cuando P y Q tienen diferente valor de verdad. d. P Q slo es verdadero cuando el valor de verdad de P y Q es verdadero. 4- Qu es una tautologa? Ejemplifique. 5- Cundo dos o ms frmulas bien formadas son lgicamente equivalentes? Ejercicio 1: Se pide, utilizando los tomos A, B, C, D, E, F, G: tomo A B C D E F G Interpretacin la foto es en color la foto es en blanco y negro la foto es cuadrada la foto es rectangular la foto es digital la foto es un retrato la foto es de mi amigo

a) escribir frmulas bien formadas que representen lo expresado en las filas 1, 2 y 3 b) traducir las frmulas bien formadas de las filas 4, 5 y 6 al lenguaje natural Expresin 1 2 3 4 Slo hay dos formatos de foto: rectangular y cuadrada. Las fotos son en color o en blanco y negro. Si la foto es cuadrada, entonces es una foto en blanco y negro. D (E A) Frmula bien formada

5 6

(B E) F F G

Ejercicio 2: Traducir al lenguaje formal y construir la tabla de verdad de las siguientes expresiones: a) Si los autos dejaran de utilizar este tipo de combustible, entonces contaminaran menos b) No s si ir a la casa de mi amiga o si me quedar en casa estudiando c) No es cierto que no haya estudiado para el examen, pero voy a desaprobar igual d) Si estudio ms, aprender a construir tablas de verdad correctamente. Y si adems no voy a la fiesta, entonces con todo ello conseguir aprobar la asignatura. e) Eres Ingeniero o Matemtico. Pero no eres profesional en matemticas. Por tanto eres profesional en Ingeniera f) Habr aros y sortijas refulgentes siempre que el oro sea derretido y adems moldeado. g) Si en Marte no hay agua; entonces no hay vida; en consecuencia, no hay marcianos ni platillos voladores Ejercicio 3: Transformar las frmulas bien formadas en su forma equivalente eliminando parntesis innecesarios. a) ((P R) (Q)) b) ((S R) (T P)) c) (Q (S U)) (R T) d) (A (B C)) Ejercicio 4: Hallar la equivalencia a: a) Es falso que si Ud. ve un gato negro entonces tendr mala suerte a. Ve un gato negro y tiene mala suerte b. No tiene mala suerte si ve un gato negro c. Ve un gato negro y no tiene mala suerte d. Ve un gato negro si tiene mala suerte b) Pablo no es rico pero es feliz. a. Es falso que, Pablo es rico o no es feliz b. Pablo ni es rico ni feliz c. Es incorrecto que si pablo es rico, es infeliz d. Pablo es rico o feliz

Ejercicio 5: La negacin de la proposicin: Benito no viaj a Europa porque perdi sus documentos equivale a: a) Es falso que Benito no perdi sus documentos o Benito no viaj a Europa. b) Benito perdi sus documentos y viaj a Europa. c) Es mentira que si Benito viaj, entonces no perdi sus documentos d) Benito viaj y perdi sus documentos. Ejercicio 6: Sabiendo que la proposicin (P Q) (R S) es falsa, deducir el valor de verdad de Q, P, R, S. Ejercicio 7: Sabiendo que la proposicin (PQ) (R S) es falsa, deducir el valor de verdad de las siguientes frmulas bien formadas. i. (P Q) Q ii. (R Q) ((Q R) S) iii. (P Q) ((P Q) Q) Ejercicio 8: Sabiendo que la proposicin P es verdadera, En cules de los siguientes casos es suficiente dicha informacin para determinar el valor de verdad de las siguientes proposiciones? i. (P Q) (P Q) ii. (P Q) (P R) iii. (P Q) R a) slo i b) slo ii c) i, ii d) i, iii e) todas

Ejercicio 9: Suponga que # es un nuevo operador lgico y que posee la siguiente tabla de verdad: P V V F F La proposicin P # (P # Q) equivale a: a) P Q b) P Q c) P d) Q e) P Q Q V F V F P#Q V V F V

Ejercicio 10: Simplificando la frmula bien formada ((P Q) (S S)) se obtiene Q a) P Q b) P c) P Q d) Q e) No se puede simplificar

P Q Ejercicio 11: En circuitos lgicos representa P y Q representa P Al simplificar el siguiente circuito se obtiene: Q. P Q P Q P
a) P b) Q c) P d) P Q e) Q

P Q