12. Encontrar el valor de verdad en.

1)

p=V
q=F

~pʌq

=~VʌF
=FʌF

2)

p=V
q=V

(q v ~ p) v ~ q

= (V v ~ v) v ~ V
= (V v F) v F
= (V) v F

=V

3)

p=F
q=V

~ p v (~ q ʌ ~ p)

= ~ F v (~ V ʌ ~ F)
= V v (F ʌ V)
= V v (F)

=V
4)

p=F
q=F

(p v ~ q) ʌ (p ʌ q)

= (F v ~ F) ʌ (F ʌ F)
= (F v V) ʌ (F)
= (V) ʌ (F)

5)

p=F
q=V

~ p v (q ʌ ~ p)

= ~ F v (V ʌ ~ F)
= V v (V ʌ V)
= V v (V)

=V
6)

p=F
q=F

~ p ʌ (q v p)

= ~ F ʌ (F v F)
= V ʌ (F)
=F

13. Redacte 5 proposiciones condicionales y aplíqueles reciprocidad, inversión y contraposición

- 1) Si los tres lados son congruentes, entonces, el triángulo es equilátero

p = los tres lados son congruentes

q = el triángulo es equilátero

Reciproca: q  p

Si el triángulo es equilátero entonces los tres lados son congruentes

Inversa: ~ p  ~ q

~ p = los tres lados no son congruentes

~ q = el triángulo no es equilátero

Si los tres lados no son congruentes, entonces, el triángulo no es equilátero

Contrapositiva: ~ q  ~ p

Si el triángulo no es equilátero, entonces, los tres lados no son congruentes

2) Si trabajas horas extra, entonces, te pagan un poco más

p = trabajas horas extra

q = te pagan un poco más

Reciproca: q  p

Si te pagan un poco más, entonces, trabajas horas extra

Inversa: ~ p  ~ q

~ p = no trabajas horas extra

~ q = no te pagan un poco más

Si no trabajas horas extra, entonces, no te pagan un poco más

Contrapositiva: ~ q  ~ p

Si no te pagan un poco más, entonces, no trabajas horas extra

3) Si 2 es divisor de x, entonces, x es un numero par

p = 2 es divisor de x
q = x es un numero par

Reciproca: q  p

Si x es un numero par, entonces, 2 es divisor de x

Inversa: ~ p  ~ q

~ p = 2 no es divisor de x
~ q = x no es un numero par

Si 2 no es divisor de x, entonces, x no es un numero par

Contrapositiva: ~ q  ~ p

Si x no es un numero par, entonces, 2 no es divisor de x

4) Si escucho música, entonces, estoy triste

p = escucho música
q = estoy triste

Reciproca: q  p

Si estoy triste, entonces, escucho música

Inversa: ~ p  ~ q

~ p = no escucho música
~ q = no estoy triste

Si no escucho música, entonces, no estoy triste

Contrapositiva: ~ q  ~ p

Si no estoy triste, entonces, no escucho música

5) Si salgo temprano de trabajar, entonces, salgo con mis amigos

p = salgo temprano de trabajar

q = salgo con mis amigos

Reciproca: q  p

Si salgo con mis amigos, entonces, salgo temprano de trabajar

Inversa: ~ p  ~ q

~ p = no salgo temprano de trabajar

~ q = no salgo con mis amigos

Si no salgo temprano de trabajar, entonces, no salgo con mis amigos

Contrapositiva: ~ q  ~ p

Si no salgo con mis amigos, entonces, no salgo temprano de trabajar

14. Redacte 5 proposiciones bicondicionales.

Bicondicional: p  q

1) p = un polígono es cuadrilátero
q = tiene 4 lados

Un polígono es cuadrilátero si y solo si tiene 4 lados

2) p = un número es par
q = es divisible por 2

Un número es par si y solo si es divisible por 2

3) p = la tierra es esférica
q = el sol es una estrella

La tierra es esférica si y solo si el sol es una estrella

4) p = el triángulo es equilátero
q = tiene tres lados congruentes

El triángulo es equilátero si y solo si tiene tres lados congruentes

5) p = trabaja horas extra

q = te pagan un poco más

Trabaja horas extra si y solo si te pagan un poco mas

15. Realizar la tabla de verdad para las siguientes proposiciones

1) Juan va al cine si y solo si saca 4,7 en su examen de algoritmia

p q P  q

Juan va al cine Saca 4,7 en su examen de Juan va al cine si y solo si saca 4,7
V algoritmia en su examen de algoritmia
V V
Juan va al cine No saca 4,7 en su examen de Juan va al cine si y solo si no saca
V algoritmia 4,7 en su examen de algoritmia
F F
Juan no va al cine Saca 4,7 en su examen de Juan no va al cine si y solo si saca
F algoritmia 4,7 en su examen de algoritmia
V F
Juan no va al cine No saca 4,7 en su examen de Juan no va al cine si y solo si no
F algoritmia saca 4,7 en su examen de
F algoritmia
V
2) { [ (~ p ʌ ~ q)  (~r ʌ ~ s) ] ʌ (r ʌ s) }  (p ʌ q)

p q r s ~p ~q ~r ~s (~pʌ~q) (~rʌ~s) (~pʌ~q)  (~rʌ~s) (rʌs)

V V V V F F F F F F V V
V V V F F F F V F F V F
V V F V F F V F F F V F
V V F F F F V V F V V F
V F V V F V F F F F V V
V F V F F V F V F F V F
V F F V F V V F F F V F
V F F F F V V V F V V F
F V V V V F F F F F V V
F V V F V F F V F F V F
F V F V V F V F F F V F
F V F F V F V V F V V F
F F V V V V F F V F F V
F F V F V V F V V F F F
F F F V V V V F V F F F
F F F F V V V V V V V F
[(~pʌ~q)(~rʌ~s)] ʌ (rʌs) (p ʌ q) {[(~pʌ~q)(~rʌ~s)]ʌ(rʌs)}  (pʌq)
V V V
F V V
F V V
F V V
V F F
F F V
F F V
F F V
V F F
F F V
F F V
F F V
F F V
F F V
F F V
F F V