TALLER DE LÓGICA MATEMÁTICA

1. Escribir 5 proposiciones válidas y 5 inválidas.

2. Escribir 1 ejemplo de uso (frase) de cada conectivo logico y determinar el valor de verdad.
(Ej. Negación – Yo soy aprendiz (V) – No soy aprendiz (F)), realizar los otros 7.
3. En los siguientes ejercicios escribir la proposición dada en la forma “si p entonces q”;
determine su valor de verdad. A continuación, escribir la recíproca y la contrarecíproca y
determinar la verdad o falsedad de cada una.
 Sólo las rectas perpendiculares forman ángulos rectos.
 Un triángulo equilátero tiene tres lados iguales
 Si a es mayor que b entonces b es mayor que a
4. Sabiendo que p es falsa, q es verdadera y r es falso, hallar el valor de verdad de las
siguientes proposiciones compuestas por medio de la tabla de verdad.

  (p q)  (p  q)
  q  (p  q)
 ( q )  (q r)
5. Completar con V o F, cada una de las siguientes proposiciones, justificar la respuesta:

 Se sabe que p  q es verdadera. Por lo tanto el valor de verdad de  p  q es:____

 Se sabe que  p  q es falsa. Por lo tanto, el valor de verdad de p  q es: ____
 Se sabe que p es falsa y  p  q es verdadera. Por lo tanto, p  q es: _______

6. escribir simbólicamente las proposiciones siguientes y encontrar el valor de verdad por el

diagrama del árbol:

 2 es número par y 21 es múltiplo de 3, ó 5 es la raíz cuadrada de 10

 Si el m.c.m. de 12 y 15 es 60 y 3 es el cuadrado de 9, entonces, estudio o juego
ajedrez.

Comprobar por medio de una tabla de verdad que las siguientes esquemas compuestas son
tautologías, contingentes o contradictorios

7. ( p  q )  ( q  r )]  ( p  r)
8. ( p  q)  (  q p)

Demostrar que los siguientes esquemas moleculares son equivalentes

9.  ( p  q )  (  p  q )
10.  ( p  q )  (  p  q )

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
 11. Probemos que la siguiente proposición es una contradicción:
 [ p q ) (  p q ) ]  [  (  p q ) (  p  q )

Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso si se trata de una
tautología, una contradicción o una determinación.

12.  ( p  q)  ( p  q )
13. ( p  q)  (  p  q)
14. (  q  r )  ( q  r)
15. ( r r )  r

Los siguientes ejercicios deben resolverse aplicando las Leyes del Álgebra proposicional y no por
tablas de verdad.-

Probar que las proposiciones siguientes son tautologías:

16. [ ( p  q )  q ]  ( p )
17. [ ( p  ( q  r ) ]  [ ( p  q )  r ]

Simplificar las siguientes proposición utilizando leyes:

18.  [ t  ( m  t ) 
19.  ( p  q )  (  p  q ) ]

20. ¿Qué conclusión se puede sacar de cada uno de los siguientes conjuntos de premisas?
Es decir ¿qué proposición lógica se sigue de las premisas?

1) Si usted está en Madrid, entonces su reloj señala la misa hora que en Barcelona. Usted
está en Madrid.
2) Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos
ahora.
3) Si vivo en la capital del Ecuador, entonces no vivo en ninguno de las 21 provincias del
Ecuador. Vivo en la capital del Ecuador.

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
 SOLUCION

1) Validas:

- si mañana es lunes entonces me toca trabajar

- 3+2=4

- La tierra es redonda

- Si estudio mucho entonces me canso

- -17 + 38 = 21

No validas:

- Hola como estas?

- Ojala hoy no llueva.
- Que es eso?
- Te quiero mucho.
- Tiende la cama.

2) Conectivos lógicos:

- Conjunción: La moto prende si tiene gasolina Y esta buena la bujía.

P: la moto prende si tiene gasolina (V)

q: esta buena la bujía (V)

- Disyunción: Un animal sobrevive si se alimenta bien O no es víctima de la caza.

P: Un animal sobrevive si se alimenta bien (V).

q: no es víctima de la caza (V).

- Disyunción exclusiva: María es hija de José Ó de Vicente.

P: María es hija de José (V).

q: de Vicente (F).

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
- Conjunción negativa: Ni la tierra es plana ni la tierra es el centro del universo.

p: la tierra es plana (F).

q: la tierra es el centro del universo (F).

- Disyunción negativa:No eres pintor O no eres artista.

P: Eres pintor (V)

q: Eres artista (V) Resultado: (F)

- Proposiciones condicionales: Si obtienes una A en lógica, entonces te voy a

comprar un Mustang amarillo.

P: Si obtienes una A en lógica (V)

q: Te voy a comprar un mustag amarillo (V) Resultado: (V).

- Proposiciones Bicondicionales: Enseño matemáticas si y solo si me pagan

una gran suma de dinero.

P: enseño matemática (V).

q: me pagan una gran suma de dinero (V). Resultado: (V)

3)

- Sólo las rectas perpendiculares forman ángulos rectos.

Si las rectas son perpendiculares Entonces forman ángulos rectos

P: las rectas son perpendiculares (V).

q: forman ángulos rectos (V). Resultado: (V).

Reciproca:

Si se forman ángulos rectos entonces las rectas son perpendiculares.

q: se forman ángulos rectos (V).

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
p: las rectas son perpendiculares (V). Resultado: (V)

Contra reciproca:

Si no se forman ángulos rectos entonces las rectas no son perpendiculares.

q: no se forman ángulos rectos. (F).

p: las rectas no son perpendiculares (F).

Resultado: “ q  p” FF= (V)

- Un triángulo equilátero tiene tres lados iguales

Si un triángulo es equilátero entonces tiene tres lados iguales

P:un triángulo es equilátero (V)

q: tiene tres lados iguales (V) Resultado: (V)

Reciproca:

Si tiene tres lados iguales entonces es un triángulo equilátero.

q: tiene tres lados iguales (V)

p: es un triángulo equilátero (V) Resultado: (V)

Contra-reciproca:

Si un triángulo no es equilátero entonces no tiene tres lados iguales

q: un triángulo no es equilátero (F)

p: no tiene tres lados iguales (F) Resultado“ q  p” FF= (V)

-Si a es mayor que b entonces b es mayor que a

P: a es mayor que b (V)

q: b es mayor que a (F) Resultado:(F)

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
Reciproca:

Si b es mayor que a entonces a es mayor que b

q: b es mayor que a (F)

p: a es mayor que b (V) Resultado:(V)

Contra reciproca:

Si b no es mayor que a entonces a no es mayor que b

q: b no es mayor que a (V)

p: a no es mayor que b (F) Resultado: (F)

4)

A) (pq)  (p  q)
FFFV
V
F F
V

B) q (p  q)
V VV
F  V
V
C) ( q )  (q r)
V FF
V  F
V

5) Completar con V o F, cada una de las siguientes proposiciones, justificar la respuesta:

 Se sabe que p  q es verdadera. Por lo tanto el valor de verdad de  p  q es: V

 Se sabe que  p  q es falsa. Por lo tanto, el valor de verdad de p  q es: V
 Se sabe que p es falsa y  p  q es verdadera. Por lo tanto, p  q es:V

6)

p: 2 es numero par (v)

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
q: 21 es múltiplo de 3 (v)
r: 5 es raíz cuadrada de diez (f)

Se escribirá, p ˄ q ˅ r, y se resuelve v ˄ v ˅ f, cuyo resultado es falso.

p: m.c.m de 12 y 15 es 60 (v)
q: 3 es cuadrado de 9 (v)
r: estudio o juego ajedrez (v)

Se escribirá, p ˄ q => r, y se resuelve v ˄ v => v, cuyo resultado es verdadero.

tautologías, contingentes o contradictorios

7)( p q )  ( q  r )]  ( p  r)

P q r (pq)  (qr )  (pr)

V V V V V V V V
V V F V V F V F
V F V F V V V V
V F F F V V V F
F V V V V V V V
F V F V V F V V
F F V V V V V V
F F F V V V V V
TABLA TAUTOLOGÍCA

8) ( p  q)  (  q p)
P q (pq)  (q  p)
V V V V F V F
V F F V V F F
F V V V F V V
F F V V V V V
TABLA TAUTOLOGÍCA

9)  ( P  Q )  (  P  Q )
( V V) (  V V )
( FF ) ( FF )
F F
10)  ( p  q )  (  p  q )
( VV )  (  VV )
( FF ) ( FF )
F F

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
 11) [ p q ) (  p  q ) ]  [  (  p  q )  (  p  q )

12) ( p q)  ( p  q )
P Q ( p  q) ( )  (p  q)
V V V F F V V V V V
V F V V V F V V F F
F V F V F F V F F V
F F F V v F V F F F
TABLA TAUTOLOGÍCA

13) ( p q)  (  p  q)
P Q ( p  q)  (p  q)
V V V F F F F V V
V F V V V F F F F
F V F F F F V V V
F F F F v F V V F

14)(  q r ) ( q  r)

Q R (Q  R)  (Q  R)
V V F F F F V F F
V F F F V V V V V
F V V V F V F F F
F F V F v F F F V

15) ( r r ) r

R R (R  R)  R La proposicion esverdadera

V F V F F V V

16) [ ( p  q )  q ]  ( p )
Q R (p  q)  q  p)
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
TABLA TAUTOLOGÍCA

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
 17) [ ( p  ( q  r ) ]  [ ( p  q )  r ]
P q r P  (qr)  (pq )  R
V V V V V V V V V V
V V F V F F V V F F
V F V V V V V F V V
V F F V V V V F V F
F V V F V V V F V V
F V F F V F V F V F
F F V F V V V F V V
F F F F V V V F V F
TABLA TAUTOLOGÍCA

18)  [ t  ( m  t ) 

¬ [¬t v (m  t)] ley de la condicional

t v ¬(m  t) ley doble negación

t v (¬m ¬t) ley de Morgan

(t v ¬t) v ¬m ley asociativa

V v¬m
19)  ( p  q )  (  p  q ) ]

¬ [¬ (p  q) v (¬p =>q)] ley de la condicional

¬ [¬ (p  q) v (¬ (¬p) v q)] ley de la condicional

¬ [¬ (p  q) v (p v q) ley doble negación

¬ [(¬p v ¬q) v (p v q)] ley de Morgan

¬[ (¬p v p) v (¬q v q)] ley asociativa

¬ [V vV ] ley tercer excluido

¬V

ADSI 51
602297
CRISTIAN FERNANDO VALENCIA
ADSI 51
602297
CRISTIAN FERNANDO VALENCIA