Ejercicios de simbolización y tablas de certeza

I.- Simbolice las siguientes proposiciones lógicas, señalando su tipo (conjunción, disyunción, negación, condicional o bicondicional)

1.- El sol no sale por el oeste o sale por el este.

2.- Si la luna es de queso, entonces el sol es de mantequilla.

3.- El corazón impulsa la sangre del cuerpo, si solo si, el hombre no vive.

4.- Juan es el amigo de Pedro y Carmen hermana de María.

5.- Si María ama a pedro o no ama Juan, entonces María ama Juan y Sonia ama a Pedro.

II.- Elabore la tabla de verdad de las siguientes proposiciones Lógicas:

1.- p ۸ (¬ q)

2.- ( ¬p) → q ۷ ( ¬ p)

3.- p ۷ (¬q) ↔ ( ¬p ) ۸ r

4.- p ۷ r → ¬ ( p ۸ r )

La fecha de entrega es el Viernes 14/04/2010. Por favor enviar por correo: profesorcarga@gmail.com

Profesor Carlos García