Universidad Nacional de Formosa - Facultad de Administracin, Economa y Negocios

Carrera: Licenciatura en Tecnologas de la Informacin y Comunicacin

Asignatura: Matemtica I - Ao Acadmico 2014 -

Trabajo Prctico N 1

Lgica proposicional .Calculo proposicional y clculo de predicados. Circuitos lgicos.

1. I) Dada las siguientes expresiones analiza cuales corresponden a proposiciones.

En caso de serlo indica el valor de verdad:
a) 0 es un nmero real
b) Los nmeros fraccionarios son naturales
c) Los nmeros decimales siempre son racionales
d) un cociente de nmeros naturales es un nmero real?
e) Define el conjunto de nmeros enteros!
f) El Licenciado en TIC aplica modelos de simulacin
g) El Licenciado en TIC no es un asesor
h) Trabajar en el procesador de texto
i) Imprimir un archivo
j) Trabajar en el procesador de texto, entonces imprimir un archivo

II) Dadas las siguientes proposiciones

p: Word es un soft de aplicacin de office
q: Excel es un soft de aplicacin de office

Obtener: a) enunciado coloquial, b) expresin simblica, c) tabla de verdad de:

i) Conjuncin de la primera con negacin de la segunda
ii) Disyuncin de las negaciones
iii) Negacin de su conjuncin
iv) Disyuncin de la segunda con negacin de la primera

2. Escribir en forma simblica la siguiente proposicin compuesta:

El Licenciado en TIC debe desarrollar habilidades y destrezas de bsqueda,
sistematizacin y anlisis de la informacin sobre los hechos organizacionales y sobre
la propia prctica profesional para dar solucin a los problemas emergentes generando
nuevos conocimientos.

3. Sean las proposiciones:

P: -2 es un nmero entero
Q: es un nmero irracional

I) Escribe en lenguaje corriente las siguientes proposiciones compuestas

a) p q b) p ~ q c) p ~ q d) ~ p ~ q

II) Establece el valor de verdad de cada una de las proposiciones compuestas propuestas

4. Determina el grado de verdad de las siguientes proposiciones compuestas:

a) Si 2+3 = 6, entonces 3+0 = 3

b) Es falso que 1+2 = 6 4+1 = 5

5. Confeccionar las tablas de verdad de las proposiciones

a) (p q) r b) ~ (p q) ~ p ~ q

6. Hacer tablas de verdad de las siguientes leyes lgicas:

a) p q q p b) p q q p

c) ~ (p q) ~p ~q d) ~ p (p q) q

7. Los valores de verdad de las proposiciones p, q, r y s son respectivamente V, F, F, V.

Obtener los valores de verdad de:

a) [ (p q ) r] s b) r s p c) p r r ~ s

Profesores: Gonzalez de Ortiz, A.: Mora, J.; Copponi, L; Imwinkelried, E; Gimenez, V. y Henquin, A. 1
Universidad Nacional de Formosa - Facultad de Administracin, Economa y Negocios
Carrera: Licenciatura en Tecnologas de la Informacin y Comunicacin
Asignatura: Matemtica I - Ao Acadmico 2014 -

8. Hallar en cada caso una proposicin compuesta cuyos valores de verdad se

correspondan con los de la tabla:

P q ?
--------------------
1 1 1
1 0 0
0 1 0
0 0 1

P q ?
--------------------
V V F
V F V
F V V
F F F

P q ?
--------------------
1 1 1
1 0 0
0 1 1
0 0 1

9. I) Expresa en forma simblica y con palabras las implicaciones asociadas a las dadas y
expresar su valor de verdad:
a) Si 10 es un nmero par, entonces 6 4
b) Si a es un nmero primo y par, entonces a =2

II) Responder verdadero o falso, luego justificar

a) La reciproca y la contraria de una implicacin son equivalentes
b) Si la implicacin directa es verdadera, entonces las asociadas a ella
tambin lo son

III) Dados los siguientes condicionales:

Si un cuadriltero es un cuadrado, entonces es un rectngulo
Dos ngulos son suplementarios si suman 180
a) Escribir coloquial y simblicamente todas las implicaciones asociadas
b) Establecer el valor de verdad de cada una

10. I) Dadas las siguientes funciones proposicionales en Z

i) x + y 0 ii) x . y = y . x iii) x 2.x
a) Asigne valores particulares a x e y, de manera que resulten proposiciones verdaderas
b) Convirtalas en proposiciones verdaderas usando cuantificadores
c) Niegue simblicamente las proposiciones obtenidas en b) y escriba la equivalente a
cada una de ellas.

II) Analizar el valor de verdad en las siguientes proposiciones en R. Justificar

a) x: (x +1).(x -1) = x 2 - 1
b) x / y: x + y = 0
c) x, y / x + y = 0

Profesores: Gonzalez de Ortiz, A.: Mora, J.; Copponi, L; Imwinkelried, E; Gimenez, V. y Henquin, A. 2
Universidad Nacional de Formosa - Facultad de Administracin, Economa y Negocios
Carrera: Licenciatura en Tecnologas de la Informacin y Comunicacin
Asignatura: Matemtica I - Ao Acadmico 2014 -

III) Negar las proposiciones

a) x / P(x) ~ Q(x) d) x R: y R / x y
b) x : P(x) Q(x) e) x N / x +1 x
c) x y / x .y = 0 f) x : P(x) y / Q(y)

11. Construir un circuito correspondiente a cada proposicin

a) (p q) ~ q

b) p (q r)

c) (p ~ q) (~ p q) (~ p ~ q)

d) [(p q ) (~ p ~ q ) q] p

12. Conocido el siguiente circuito.

a) Determinar la proposicin correspondiente

p q
___________/ __________/ ______________

p
_______________ __________/ ____

~p ~q
_______/ _______/ _________

________ _____

_________q_/ _______________

b) simplificar sta y construir el circuito asociado

Profesores: Gonzalez de Ortiz, A.: Mora, J.; Copponi, L; Imwinkelried, E; Gimenez, V. y Henquin, A. 3