Logica Matematica

TALLER No. 2 DE LÓGICA MATEMÁTICA

Sean p: hace frío y q: está lloviendo. Describir con un enunciado verbal las siguientes aserciones:

1) ~p 2) pΛq 3) pVq 4) q↔p 5) p→~q 6) qV~p 7) ~pΛ~q 8) p↔~q 9) ~(~q)

Sean p: El es alto y q: El es galán. Escribir los siguientes enunciados en forma simbólica con p y q:

10) El es alto y galán 11) El es alto pero no es galán 12) es falso que él es bajo o galán 13) El no es ni alto ni galán

14) El es alto, o el es bajo y galán 15) no es verdad que él es bajo o que no es galán

Determinar el valor de verdad de cada uno de los siguientes enunciados compuestos:

16) Si 3+2=7, entonces 4+4=8 17) No es verdad que 2+2=5 si, y solo si, 4+4=10 18) París está en Inglaterra o Londres está en Francia 19) No es verdad que 1+1=3 o que 2+1=3 20) Es falso que si parís está en Inglaterra, entonces Londres está en Francia.

Resolver las siguientes tablas de verdad de proposiciones:

21.

p q p v q (p v q) → p

22.

p q p ^ q q ^ p (p ^ q)→( q ^ p)

23.

p q p → q p ^ q ˜ (p ^ q) (p → q) v ˜ (p ^ q)

24.

p q p ^ q ˜ (p ^ q) ˜ (p ^ q) v q [˜ (p ^ q) v q] → p

25.

p q r p → q q → r p → r (p → q) ^ (q → r) [(p → q) ^ (q → r)] → (p → r)

26.

p q r p v q p ^ r (p v q) → (p ^ r) [(p v q) → (p ^ r)] ↔ r

Resolver los siguientes ejercicios identificando y utilizando las implicaciones directas, contrarias, reciproca y contrarreciproca.

27.

p q p → q ˜q → ˜p (p → q) ↔ (˜q → ˜p)

28.

p q q → p ˜p → ˜q (q → p) ↔ (˜p → ˜q)

29. Identificar en todas las anteriores tablas (ejercicios del 21 al 28), cuáles son tautología, contradicción o contingencia.

Nota:

• No olvide, grupos de 5 personas.

• Presentar en hojas de examen, lo pueden enviar también al E-Mail: juan.trivino@unad.edu.co

...