Día de clase. (26-2-13)

Buenas, clase, pondré lo que hemos hecho en la clase de hoy:
-Hemos comentado el texto leído por nuestro compañero Israel sobre la teoría darwinista, en el que nombra: La variabilidad, la lucha por la supervivencia, la superpoblación y la selección natural.
-Hemos hablado del ADN y de su estructura. (GATC) -Hemos nombrado a Gregor Mendel (1822-1884) Creador de la teoría genética,  experimentaba con guisantes, en donde explica los cambios en las características de las especies a partir de mutaciones en el material genético.
-Hemos cuestionado si los animales tienen derechos o no. *Y por último, nuestra compañera Ángela, dijo un suceso interesante: Que hubo un accidente en los Andes, y los supervivientes, para sobrevivir, tuvieron que comerse los cadáveres y al final consiguieron sobrevivir, es curioso. Y bueno, ya no dio tiempo a dar nada más, espero que os sirva.

Juan Francisco Galiano Hidalgo.

22 de Febrero de 2.013

La clase comenzó con la corrección de los ejercicios que mandó el profesor sobre la clasificacion de Linneo, los nombres científicos. A continuación, el profesor explicó la teoria del evolucionismo de Lamarck a través del texto que esta en este mismo blog sobre las garras retráctiles. La primera ley de Lamarck era: "La función crea el órgano". Lamarck decía que los seres vivos han ido cambiando sus órganos a lo largo del tiempo para facilitarles su vida y su supervivencia, como las garras retráctiles o el cuello de las jirafas. La segunda ley de Lamarck era: "Los carácteres adquiridos se heredan a la siguiente generación". Lamarck decía que los atributos y cambios generados en el cuerpo y organismo de un ser vivo era heredaro por su descendencia como parte de su herencia genética. Israel Fernández Sevilla

  18 de Febrero del 2013

En la clase de hoy el profesor nos ha estado sacando a la pizarra para corregir los resultados de los ejercicios del examen de lógica que hicimos el jueves pasado.
Primero hemos corregido la tabla de verdad, que ha tenido como resultado un enunciado tautológico.
Después hemos corregido el segundo ejercicio, que consistía en formalizar el sentido de las preposiciones que nos daba y deducir la conclusión. Éste es el resultado del primer apartado:
2a)

   p ->q                              ¬ r ->s   (q^s)˫ p^ ¬r ->t

.............................................

1.p->q2¬r->s3.(q^s)        
┌4.p^¬r
5.p RE^(4)
6.¬r RE^ (4)
7.q RE ->(1,5)
8.s RE->(2,6)
9.q^s RI ^ (7,8)
└10.t RE->(3,9)       
___________________     
11.(p^¬r)->t RI ->(4,10)

2b)

1. ¬p ˅q2.¬(r^¬p)3.r-> ¬q4.¬r->s┌5.¬q6.r->p RDF -> (2)7.p-> RDF ˅18.¬p MT (5,7)9.¬r MT (6,8)└10.s RE-> (4,9)___________________11.¬q->s RI -> (5-10)

No nos dio tiempo a acabar el ejercicio tres del examen, pero el profesor dijo que el próximo día seguiríamos con las correcciones y entregaría los exámenes.Personalmente, creo que los resultados habrán sido regulares, por que mucha gente, donde me incluyo la primera, no va muy bien en el tema de lógica. Así que desde aquí querría pedirle al profesor que hiciera una recuperación para que este examen no fuera motivo de suspender toda la evaluación. 
El próximo día, osea el día 20 de febrero, empezaremos también el siguiente tema.Hemos fijado la fecha del próximo examen para el jueves 14 de marzo.
                           

María González 1ºA bachillerato

Clase del 15/2

En la clase de hoy hemos tenido el examen de lógica el cual constaba de 3 preguntas.
La primera pregunta era una tabla de verdad que valia 2puntos, el segundo ejercicio tenia dos apartados y cada apartado valia 2 punto en cada apartado teniamos que formalizar y hacer después sus correspondientes tablas de cálculo. Y por último el tercer ejercicio que al igual que el segundo eran dos apartados que valian cada uno 2 puntos y trataba de hacer las derivaciones de  cálculos.
El examen ocupó toda la hora por lo que no pudimos hacer nada más.
Espero que os haya salido bien el examen.
                                                                        Carmen de la Rosa Castell.

En la clase de hoy de filosofía se ha centrado en hacer ejercicios de lógica de derivación. En estos problemas hay que llegar a una conclusión por medio de una serie de reglas. Realmente cuando ver los ejercicios hechos en la pizarra parece muy fácil y los entiendes, tienen lógica, pero, como dice el profesor si no practicas nunca te va a salir y hay que pensar antes de hacer cualquier cosa. Y para practicar podemos meternos en  helvia y hacer algunos ejercicios de derivación. En los últimos minutos de clase se comenzó un ejercicio de derivación que no se llego a terminar y el profesor dijo que quien no lo llevara hecho no entraría en la clase. El viernes es el examen y aunque se pueda tener una hojita con las reglas de derivación es esencial practicar. 

MARTA COSSIO CABALLERO

8 de Febrero del 2013

El viernes día 8, después de los tres días de huelga, el profesor preguntó por orden de lista si alguien había hecho los ejercicios de la plataforma Helvia que recomendó hacer durante esos días para practicar. Nadie los tenía por lo que el profesor, al no tener nada que corregir, dio por terminada la clase y nos dejó hacer lo que quisiéramos.
En el último cuarto de hora, el profesor comentó que en el examen del próximo día 15, podíamos llevar una hoja solo con las reglas de la derivación. Los apuntó en la pizarra y, para quienes no los tengan, son:

• Regla de transitividad del condicionador: 

          x → y
          y → z
       -----------
          x → z

• Regla del Modus tollens:

               x → y
                    ¬y
           -------------
            ¬x    

• Regla del silogismo disyuntivo: 

      x ∨  y                             x ∨ y
   ¬ x                                         ¬ y
   ---------------        ó           -------------
              y                            x

• Reglas de Morgan:

   ¬ ( x Λ y)                                   ¬ ( x ∨ y)

  --------------            ó                 -----------------
   ¬ x ∨ ¬ y                                    ¬ x Λ ¬ y

• Reglas de definición del conjuntor:

       x 

Λ

 y                                        

x Λ y
   ---------------           ó                 ---------------

  ¬ ( ¬ x ∨ ¬ y)                            ¬ ( x → ¬ y)

• Reglas de definición del disyuntor:

        x ∨ y                                         x ∨ y
      ------------          ó                   -----------------
      ¬ x → y                                  ¬ ( ¬ x Λ ¬ y)

• Reglas de definición del condicionador:

        

x 

→

 y                                       

x → y

      -----------           ó                    ---------------

      ¬ x ∨ y                                   ¬ ( x Λ ¬ y)

Ana Castán Ruano.                        

Día Lunes 4 de Febrero hemos comenzado la clase corrigiendo en la pizarra un ejercicio planteado por el profesor en el día anterior. Ha salido Ignacio Jurado a resolverlo y era el siguiente.
1. pΛq    Pr.
2. q→r   Pr.
3. (pΛq)→t     Pr.       Conclusión: s→t
4. s                 Abrimos una hipótesis en 4, que cerraremos en 8.
5. q                 REΛ1
6. r                  RE→2,5
7. p                 RIΛ5,7
8. t                  RE→3,8
_____ 
9.s→t             RI→4-9

Después de esto, el profesor ha explicado que existen más reglas que nos permiten modificar una expresión y así facilitarnos las cosas. Son las llamadas reglas de interdefinición de conectivas. Estas poseen dos barras porque su transformación puede ser en un sentido o en otro. Son:
     xΛy                 xΛy                xvy                xvy               x→y                x→y 
   ____      y        ____             ____        y     ____             ____      y        ____
   ____                ____             ____               ____             ____                ____
¬(¬xv¬y)         ¬(x→¬y)        ¬(¬xΛ¬y)           ¬x→y         ¬xvy             ¬(xΛ¬y)


Paola García Seco

30/1/13

Hoy hemos empezado la clase con la correción del calculo de deducción natural realizado por Alfonso.
------------------------------------------------------------------------------------------------------------
1) P ^ R pr
2) P----> s pr
4) P          re ^1
5) R         re ^ 1
6) S         re ----> 2,4
7) S v Q  ri  v 6
8)T
9)T^R     ri ^8,5

------------------------------------------------------------------------------------------------------------
Después el profesor ha explicado  las reglas de introducción de ----> y las  de eliminación de las reglas de eliminación del v


Ana Isabel Garcia Palacios

TABLA DE LA VERDAD

En la clase del día 30 de enero el profesor hizo una introducción de la tabla de la verdad. Comenzó la clase explicándonos las reglas de la tabla de la verdad, nosotros cogimos nota y terminamos la clase practicando, además el profesor nos avisó de que en la página de helvia a la que nosotros tenemos acceso había colgado una serie de ejercicios para que pudiésemos practicar, a continuación voy a dejar un ejercicio resuelto para que todos podáis ver un ejemplo
CARMEN BRUGUERAS BARO