Leyes de Inferencia

Buenas tardes participantes, el el próximo encuentro será el viernes 23/4/2010 donde trabajaremos el tema de:

Las leyes de inferencia

1. Modus Ponendo Ponens
2. Doble negación
3. Modus Tollendo tollens
4. Modus tollendo ponens
5. Simplificación
6. Ley de Adjunción
7. Leyes conmutativas
8. Ley de adición
9. Ley de Morgan
10. Leyes Bicondicionales

Como son cinco participantes a cada uno le corresponde explicar brevemente dos leyes y luego cada uno debe explicar un ejercicio donde se apliquen al menos 6 leyes de Inferencia.

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