Tabla de verdad

Hoy el profesor ha explicado otra vez la tabla de verdad porque había gente que todavía no lo entendía, puso tres ejemplo:

1. Cogió dos bolis, dijo que tenía un boli azul y un boli rojo en la mano, como es verdad se pondría un 1, pero si dice que tiene un boli azul en una mano y el boli rojo en la otra mano sería falso porque los dos bolis estaban en la misma mano, solo es verdad cuando están los dos bolis en la misma mano. Esto como ejemplo de conjuntor.
2. Después puso un ejemplo de disyuntor, dijo que si el tenía un boli azul o un boli rojo en la mano, es verdad, solo sería falso si dijese que no tenía ningún boli. 
3. Cogió un libro y lo puso encima de la cabeza de Carmen, dijo que si soltaba el libro se le caería en la cabeza a Carmen, con lo cual es verdad, pero si el no soltaba el libro y Mª José le daba ( yo), se le caería en la cabeza, pero sería falso ya que él no ha soltado el libro. Este es un ejemplo de condicionador, que es falso cuando no se da el consecuente.

Después Marina salió para formalizar una frase, después de haberla formalizado ha hecho la tabla de verdad.
 
Después explicó la CDN ( cálculo de deducción natural). Para esto tienes que hacer unas reglas de transformación de fórmulas o enunciados. Las reglas pueden  tranformar las reglas de fórmulas o enunciados.

• Reglas de introducción:  x

                                               y
                                           ----------
                                            x(conj)y  

• Reglas de eliminación : x(conj)y

                                           ------------
                                                 x
                                                 y
Ejemplo de reglas de transformación, como hacer un puchero:

1. Primero tenemos que tener los ingredientes: patata, zanahoria, hueso de jamón, hueso de ternera, pollo, ternera y tocino.
2. Después pelar las patatas y zanahorias
3. Lavar los ingredientes
4. Cortarlos
5. Echarlos en el orden correcto

Derivación: número finitos de pasos que dados en el orden adecuado nos llevan del planteamiento de un problema a su solucion.
Para obtener p(conj)r de la premisa (p(conj)q)(r(conj)t), hacemos lo siguiente:

1. p(conj)q         premisa
2. r(conj)t           premisa
3. p                    regla de eliminación del conjuntor de la fila 1
4. r                     regla de eliminacion del conjuntor de la fila 2
5. p(conj)r          regla de introducción del conjuntor de la fila 3 y 4 

Mª José Fernández Díaz.