Herramientas de lógica computacional

[pic 1]

[pic 5]

[pic 12]

A: Andrea nunca toma sopa y seco en el almuerzo.

B: Cuando pide ensalada no pide postre.

C: Si va acompañada no pide pollo.

Situación: fue acompañada por consecuencia no come pollo, y aparte comió un postre entonces no pidió ensalada.

B y C son verdaderas por consecuencia la expresión es sintácticamente correcto por jerarquía.

[pic 13][pic 14]

Es confusa pregunta pero a mi criterio sería la primera (a) porque él tiene que para graduarse debe: tener todos los créditos aprobados, presentar suficiencia en inglés y presentar examen de estado.

• Aunque para casos específicos tomando los datos de Simón la (b, c) también serían verdaderas en el formato que la b tiene una “O” como expresión primaria y la c tiene una negación de un falso.

[pic 15]

Ejemplo 1:

1. [pic 16]
2. [pic 17]
3. [pic 18]
4.   [pic 19]

Conclusión: R

1.  modus tollendo ponens (1,4)[pic 20]
2.  Dilema constructivo entre (2,5)[pic 21]
3.  Modus pones (3,6)[pic 22]
4.  Modus tollendo ponens (7,4)[pic 23]

Ejemplo 2:

1. [pic 24]
2. S
3. [pic 25]

Conclusión: [pic 26]

1.  Modus tollens (1,2)[pic 27]
2.  Modus ponens (3,4)[pic 28]

Ejemplo 3:

1. [pic 29]
2. S
3. [pic 30]

Conclusión: [pic 31]

1.  Modus tollens (1,2)[pic 32]
2.  Modus ponens (3,4)[pic 33]

En conclusión sirve como adelanto a las tareas planteadas.

...