Universidad Tecnica Federico Santa Mara

Departamento de Matematica

Coordinacion de Matematica I (MAT021)

1er Semestre de 2011
Hoja de Trabajo Logica

1. Exprese las siguientes proposiciones utilizando los smbolos matematicos y logicos usuales:

a) Si el doble de cuatro es cinco entonces el cuadrado de cuatro es uno.

b) El cuadrado de tres es nueve y es menor que dos.
c) Cinco es mayor que cero o menor que cero.

2. Construya la tabla de la verdad de las siguientes proposiciones:

a) (p q) (p q) b) [p (q r)] [(q p) (r q)]
c) p [(q r) (q r)] d) [(p q) (q p)] (p q)
3. Demuestre las siguientes tautologas o teoremas logicos usando los siguientes dos metodos: a) tablas de
verdad b) equivalencias logicas:

a) {[p (q p)] [(p q) q]} (p q)

b) {[(p q) (q r)] (p r)} F
c) {[(p q) r] [(r s) s]} (p q)
d) p q p
e) [(p q) (q r)] (p r)
f ) [p (p q)] q
g) (p p) p
h) (p q q) (p q)
i ) (p q) [(p q) (p q)]

4. Demuestre sin usar tablas de verdad.

a) (p q) (p q)
b) [(p q) (p q)] (p q)
c) [((p q) r) (r (s t)) (s u) (u t)] p
d ) (p q r) (p q)
e) (p q) (p r q r)
f ) [(p r) q] (p q)
g) (p q) (p q)
h) (p (p q)) p

5. Encuentre una expresion logica equivalente que solo utilice los conectivos negacion, , de las siguientes
expresiones:
a) [(p q) (p q)] (p q) b) (p q r)
c) [(p q) (q s)] (p s) d) (p q) (p q)
6. Simplificar las proposiciones:
a) p (q p) b) (p q) q c) p [q (p q)]
d) (p q) p e) p (q p) f ) [p (q p)] q
g) (p q) p h) (p q) q i) [(p q) (p q)]
j) (p q) p k) (p q) q l) p (q p)

1
Universidad Tecnica Federico Santa Mara
Departamento de Matematica

7. Si p q es V y q r es F, determinar el valor de verdad de (r q) (r q).

8. Determinar el valor de verdad de las proposiciones p, q y r, si se sabe que la proposicion compuesta:

{[(p q) (p r)] [p (q r)]} es V.

9. Si p q r es F, determinar el valor de verdad de: (p q) (r p).

10. Si p es V, q es V y r es F, hallar el valor de verdad de

[(p q) (p q)] (r q)

11. Si la proposicion p q es falsa, Cual es el valor de verdad de la proposicion p (q r) (p r) q?

12. Demuestre que el siguiente razonamiento es incorrecto:
* Si el Sr. Ramrez es capaz, entonces tendra un puesto importante en su empresa.
* El Sr. Ramrez es el sub-gerente de su empresa.
** Por lo tanto, el Sr. Ramrez es capaz.
13. En los siguientes problemas, determine la validez de los razonamientos:

a) Si Juan bebe cerveza, tiene al menos 18 anos.

Juan no bebe cerveza.
Por lo tanto, Juan no tiene aun 18 anos.
b) Si las ninas son rubias, entonces son populares entre los ninos.
Las ninas feas no son populares entre los ninos.
Las ninas intelectuales son feas.
Por lo tanto, las ninas rubias no son intelectuales.
c) Si estudio entonces no reprobare este curso.
Si no juego a los naipes muy seguido, entonces estudiare.
Reprobe este curso.
Por lo tanto, jugue muy seguido a los naipes.

14. Convierta los siguientes argumentos en notacion logica y luego determine su valor de verdad, entregando en
cada caso una demostracion formal:

a) Si estudio leyes entonces ganare mucho dinero. Si estudio arqueologa viajare mucho. Si gano mucho
dinero o viajo mucho no me decepciono. Por lo tanto, si estoy decepcionado no estudie leyes ni arqueo-
loga.
b) Si mis calculos son correctos y pago la cuenta de electricidad, me quedare sin dinero. Si no pago la
cuenta de electricidad, me cortaran la corriente. Por lo tanto, si no me he quedado sin dinero y no me
han cortado la corriente, entonces mis calculos son incorrectos.

15. Si Stoke City evita las lesiones ellos ganaran el campeonato. Ellos evitan las lesiones o el arbitro esta comprado.
Si el arbitro esta comprado entonces la hinchada no estara feliz. Pero la hinchada esta feliz. Suponga que todas
estas proposiciones son verdaderas, Sera Stoke City el campeon?.
16. Pruebe que el siguiente razonamiento es valido.
* Todas las cartas fechadas en esta habitacion estan escritas sobre papel azul.
* Ninguna esta escrita con tinta negra, excepto aquellas escritas en tercera persona.
* No he archivado ninguna de las que puedo leer.
* Ninguna de las que estan escritas en una hoja estan sin fecha.

2
Universidad Tecnica Federico Santa Mara
Departamento de Matematica

* Todas las que no estan eliminadas estan en tinta negra.

* Todas las escritas por Perez empiezan con Estimado senor.
* Todas las que estan escritas en papel azul estan archivadas.
* Ninguna de las que estan escritas en mas de una hoja estan eliminadas.
* Ninguna de las que empiezan con Estimado senor estan escritas en tercera persona.
** Por lo tanto: No puedo leer ninguna de las cartas de Perez.
17. Se define p q por la siguiente tabla:

p q pq
V V F
V F V
F V V
F F V
Demuestre que:

a) p p p
b) p q (p q) (p q)
c) p q (p q) (q q)

18. Defina las variables y funciones proposicionales necesarias para transcribir las siguientes afirmaciones al len-
guaje matematico:

a) Todos los chilenos saben leer, pero no todos entienden lo que leen.
b) Todo numero entero tiene un multiplo que es tambien multiplo de 3.
c) Hay un unico numero natural que divide a todos los demas.
d ) Un numero natural es primo si y solo si no existe ningun numero distinto de el y de la unidad, que lo
divida.
e) Hay numeros reales que son positivos y negativos a la vez.
f ) Todo numero real es igual a si mismo.
g) Si todo numero real es positivo entonces dos es impar.

19. Expresar en lenguaje natural las siguientes proposiciones:

a) (x N) (x 3)
b) (x Z) (y N) (x y)
c) (x R) (y R) (x + y < 2 x + y < 2x)
d ) (2 > 3 (x R) (x < 0))

20. Si A = {1, 2, 3, 4}. Determine el valor de verdad de las proposiciones:

a) (x A) (x 6= 0 x > 3)
b) (x A) (x > 1 x = 3)
c) (y A) (x A) (x + y = 3)
d ) (x A) (y A) (x + y 5)

21. Negar las proposiciones del ejercicio anterior.

3
Universidad Tecnica Federico Santa Mara
Departamento de Matematica

Ejemplo pregunta de control

Muestre, sin usar Tablas de Verdad, que la siguiente proposicion es una Tautologa
hn o n oi
(p q) [p (q r)] [p (q r)] (p q) [r (r q) p]

Solucion:
hn o n oi
[p (q r)] [p (q r)] (p q) [r (r q) p]
hn o n oi
[p (q r)] [p (q r)] (p q) [r (r q) p]
hn o n oi
[p (q r)] [p (q r)] (p q) [r (r q) p]
h n oi
V (p q) [r (r q) p] 20pt.
h n oi
V (p q) [r (r q) p]
h n oi
V (p q) [[(r r) (r q)] p]
h n oi
V (p q) [[V (r q)] p]
h n oi
V (p q) [(r q) p] 15pt.
h n oi
V (p q) [r (q p)]
h n oi
V [(p q) r] (q p)
h n oi
V [(p q) r] [(q p) F ]
h n oi
V (p q) [r F ]
h n oi
V (p q) F
h i
V (p q)
(p q) 15pt.