Después de la primera clase, he de decir que la nueva idea de los profesores de la asignatura, de hacer un cuaderno de bitácora por internet me parece genial. Si ya me gustó la idea de que las prácticas del año pasado se basaran solamente en hacer un juego en lenguaje prolog, la nueva de hacer un cuaderno de bitácora en internet para la clase de teoría, me parece una buena forma de llevar la asignatura al día, además es una forma de estudiar entretenida, ya que no piensas que es una coñazo ponerte a repasar la clase de hoy.
En cuanto a la primera clase oficial, he de decir que el ejercicio que el profesor expuso, para que hiciésemos en grupo, no me cojió desprevenido, ya que al haber cursado esta asignatura el curso pasado tengo una ligera idea, de los conceptos y temario, de los que se compone Lógica Computacional. La idea de hacer ejercicios en grupo, no sólo ayuda a que conozcas a gente de la clase, si no que también conlleva una “discusión” a la hora de responder el ejercicio.
Haciendo un pequeño resumen, de la clase, diría que al ser el principio, la explicación se basó en exponer los diferentes tipos de argumentos, con sus respectivos ejemplos. Argumentos como son los siguientes: deductivos, no deductivos (falacias) e inductivos. Además se explicaron las proposiciones atómicas y las moleculares, tambiés se distinguieron las conectivas lógicas, como son: negador, conjunción, disyunción, impelicador y el fascinante coimplicador.
CONECTIVAS LÓGICAS:
- Negación (
) - Disyunción (
) - Conjunción (
) - Implicación (
) - Coimplicación (
)
Sólo me queda comentar, que en clase heché de menos el “Argumento de la cerveza”, que sirvió de ejemplo en muchas ocasiones el curso pasado.
