SISTEMAS INFORMÁTICOS

Asignatura: Matemática para la Informática

PRACTICO DE LÓGICA MATEMATICA

Fecha : 21 de mayo Apellidos y Nombres: ……………………………………………………………………………

A. TABLAS DE VERDAD
Elaborar las tablas de verdad de los siguientes ejercicios
1. ~ (~p → q ) v (~p ^ ~q)

2. (p → q ^ ~q ) → ~p
3. (p → ~q ) v ( q → ~r)

4. (p I q ) ^ (~q → p )

5. P v ( p → q ^ r )

B. SIMBOLOGIA DE PROPOCIONES E INFERENCIAS

1) Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bien bajo. Ahora bien,
nació el 23 de febrero o es bretón. Por consiguiente, es francés o es más bien bajo.

Convenciones simbólicas:

p: Juan es francés

q: Juan nació el 23 de febrero

r: Juan es bretón

s: Juan es más bien bajo

Simbolizar el argumento completo:

1) q →p
2) r → s
3) q v r
4) P v r

2) Cuando los herbívoros corren o el frío en los polos es intenso, los planetas giran en torno al sol

3) Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno y, además, que
si nació en Estagira era macedonio por su nacimiento, entonces era efectivamente macedonio.

4) Un sólo proveedor no puede afectar los precios si el mercado es libre. Si un sólo proveedor no
puede afectar los precios, es que hay un gran número de proveedores. Es así que no hay un gran
número de proveedores; luego, no es libre el mercado.
 SISTEMAS INFORMÁTICOS
Asignatura: Matemática para la Informática
5) Si a es un número par y b es un número impar, entonces c es igual a a. Ahora bien, c no es igual a
a menos que sea mayor que b. Pero c no es mayor que b. Además, a es un número par. Luego, b no
es un número impar.

6) Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos daremos un baño. No
es verdad que el cielo no esté despejado a menos que nos bañemos. Luego el tiempo no está
agradable.

7) Los salarios no suben si no aumentan los precios. No obstante, subirán los salarios y no los precios,
a no ser que suban los salarios y simultáneamente se produzca inflación. Luego, en cualquier caso
se producirá inflación.

C . INFERENCIA LÓGICA

1) Demostrar: t
1. N → T
2. S → N
3. S
4. .
2) Demostrar: ~ Z
1. W → X
2. Z → W
3. ~ X
4.
3) Demostrar: M
1. V → P
2. P → M
3. V
4.
4) Demostrar: ~ N
1. N → T
2. T → ~V
3. V
4.

5) Demostrar: ~V
1. ~P → Q
2. V → ~Q
3. ~P
4.
6) Demostrar: Q
1. W
 SISTEMAS INFORMÁTICOS
Asignatura: Matemática para la Informática

2. ~T → Q
3. T → ~W
4.

7) Demostrar: x < 5
1. x < y v x = y
2. x = y → y ≠ 5
3. x < y ^ y = 5 → x < 5
4. y = 5
5.
8) Demostrar: x > 6
1. x > 5 → x = 6 v x > 6
2. x ≠ 5 ^ x < 5 → x > 5
3. X < 5 → x ≠ 3+4
4. X = 3+4 ^ x ≠ 6
5. X = 3+4 → x ≠ 5
6.
9) Demostrar: x = 4
1. 3x+2y = 18 ^ x+4y =16
2. X=2 → 3x+2y ≠ 18
3. X=2 v y = 3
4. X ≠ 4 → y ≠ 3
5.
10) Demostrar: x < 3
1. X+2 > 5 → x = 4
2. X = 4 →x+4 < 7
3. X+4 < 7
4. X+2 > 5 v (5-x > 2 ^ x < 3)
5.