MATEMTICA GENERAL PET TRABAJO PRCTICO N 1: LGICA

1. Decir cuales de los siguientes enunciados son proposiciones. En caso negativo, especificar porque: a) La Argentina es un pas libre y rico. b) La lgica es el estudio de los mtodos y principios usados para distinguir el razonamiento correcto del incorrecto. c) 2 + 3 = 7 d) Es verdadero el enunciado siguiente? e) Ningn filsofo ha sido ms sabio que los autores de la Constitucin. f) 3 . 5 = qu da es hoy? g) Detngase inmediatamente! h) Arturo Frondizzi fue presidente argentino 1958 1962 i) 3 x 4 = 9 j) El hombre alegre casi nunca es de carcter peligroso y difcil. 2. Escribir en forma simblica las siguientes proposiciones: a) El silencio es la respuesta de los sabios y ms mueven los ejemplos que la palabra. b) El verdadero valor nos coloca por encima de la suerte o cada da es el mejor del ao. c) Si es divisible por tres entonces no es cierto que sea primo y par. d) Si razonramos bien naturalmente, entonces la lgica no sera necesaria. e) Saldremos antes o no alcanzaremos a ver el espectculo. f) De ac a diez aos la informtica va a crecer ms de dos veces y el futuro promete menos horas de trabajo. g) El sector ventas ser continua fuente de empleos, pero los empresarios exigirn a sus empleados algn tipo de formacin tcnica. h) En la Argentina, las carreras tradicionales se van a retraer y a todos los profesionales se les exigir ingls, y manejar computadoras personales. i) Si sube el precio del caf entonces aumenta el consumo del t o de la yerba. j) La localidad de Andresito pertenece al departamento de Guaran o al de Iguaz. 3. Sea p: hace fro y sea q: llueve. Dar una frase verbal simple que describa cada una de las siguientes proposiciones: a) p b) p q c) p q d) q p e) p q f) (q) 4. Sea p: ella es rica, y q:ella es feliz. Escribir en forma simblica las siguientes proposiciones usando p y q: a) Ella no es rica ni feliz. b) Si ella es pobre, entonces es infeliz. c) No puede ser rica y feliz. d) Si ella no es pobre y feliz, entonces es rica. e) Ser rica es lo mismo que ser feliz. f) Ella es pobre o bien es rica e infelz. g) Hay que ser pobre para ser feliz. Ing. Eugenio Schutz | Ing. Sergio Sedoff (JTP) 1

MATEMTICA GENERAL PET TRABAJO PRCTICO N 1: LGICA

5.

6.

7.

8.

h) Ser rico implica ser feliz. i) Ella es pobre solo si es feliz. Determinar el valor de verdad de cada uno de las siguientes proposiciones, previamente escribirlas en forma simblica. a) No es cierto que Londres est en Inglaterra. b) No es cierto que 3 + 2 = 8 c) No es cierto que Londres est en Francia. d) 3 + 2 = 7 y 4 + 4 = 8 e) 3 + 2 = 5 y 7 + 2 = 9 f) 6 + 4 = 10 y 1 + 1 = 3 g) Pars est en Inglaterra o 3 + 4 = 7 h) Pars est en Francia o 2 + 1 = 6 i) Londres est en Francia o 5 + 2 = 3 j) Es falso que 2 + 2 = 4 y 1 + 1 = 5 k) Es falso que 2 + 2 = 4 o Londres est en Francia. l) Si hace fro, entonces no llueve. m) Iremos de camping si y slo si aprobamos matemtica. n) Es necesario que haya nieve para que Enrique pueda patinar. o) 5 7 = 2 o 5 7 = -2 Confeccionar las tablas de verdad para: a) p q b) ( p q ) c) ( p q ) d) ( p q ) ( p q ) e) p ( q p ) f) ( p q ) ( p q ) g) (p q ) h) p ( q r ) i) ( p q ) ( p r ) j) p ( q r ) Demostrar: a) La ley asociativa: ( p q ) r p ( q r ) b) La disyuncin es distributiva respecto a la conjuncin: p(q r)(p q) (pr) c) La operacin de disyuncin puede escribirse en trminos de las operaciones de conjuncin y negacin: p q (p q ) d) Verificar que (p ) p Construir los siguientes circuitos lgicos: a) ( p q ) (p q ) (p q ) b) (p q ) (p q ) c) [( p q ) (p q )] (p q ) d) [( p q ) s] ( p q ) e) ( p q ) q f) [( p q r ) ( q r) ] ( p r q )

Ing. Eugenio Schutz | Ing. Sergio Sedoff (JTP)

MATEMTICA GENERAL PET TRABAJO PRCTICO N 1: LGICA

9. Dados los siguientes circuitos lgicos, determinar la proposicin correspondiente. a) q

r S q p q T

b)

q p S r q p p T

c)
r S p q

q p q p r q T

d)

q p S q p r q T

Ing. Eugenio Schutz | Ing. Sergio Sedoff (JTP)

MATEMTICA GENERAL PET TRABAJO PRCTICO N 1: LGICA

e)

q p p q q ~q p ~p ~r q T

r S

f)
q r p ~p

q p S q ~q p ~r ~p q q T

g)
q q ~p p S p r q ~q p ~p q q p ~q r

q p

Ing. Eugenio Schutz | Ing. Sergio Sedoff (JTP)