DIA 29 DE ENERO DE 2014

El profesor ha sacado a Mabel a la pizarra para realizar una derivación. La cual era la siguiente:

               

Ha completado las reglas básicas con RIØ (regla de introducción del negador), RI⇔ (regla de introducción del bicondicionador), RE⇔( regla de eliminación del bicondicionador) y RE¬¬ :

     Eliminación del bicondicionador (RE⇔):
                    p ↔ q                                                                        
                    p         
                    q



 




Por último nos ha dado tres reglas derivadas (que son demostrables):

                                                                                     



                         Modus tollens (MT): 

                       p → q
                             ¬q 
                       ¬p





En cuanto al viaje de Burgos, el profesor tiene que llamar al conductor de autobús para negociar un buen precio y a lo mejor conseguimos reducir un poco el precio en total.
Además para el próximo día de clase debemos comentarle los grupos y el trabajo que realizará cada uno de ellos sobre un tema relacionado con la antropogénesis.

ANA CEPERO MARTÍN