Martes, 22 de Enero.

   La clase ha empezado con la corrección de la actividad de la página 129, donde para uno de los enunciados fue necesaria la explicación del bicondicional o doble condicionador, que consiste en p↔q (equivale a p si y solamente si q), donde p↔q= q↔p. También hizo hincapie el profesor en que todas las proposiciones deben tener sentido completo, por lo que deben estar formadas como mínimo de un sujeto y un verbo. Luego nos comentó que los paréntesis sirven para separar cosas que dentro de proposiciones deben estar separadas, como por ejemplo María y Pedro juegan al tenis o montan en bicis.

(p ^ q) V (r ^ s)                 P: María juega al tenis.

                                       Q: Pedro juega al tenis.

                                       R: María monta en bici.

                                       S: Pedro monta en bici.

  Más tarde nos enseñó que los condicionadores van precedidos de una condición para obtener como resultado una consecuencia. Ejemplo: Si estudio francés o inglés iré a Francia o  Inglaterra.

(p V q) à (r V s)                P: Estudio francés.

                                       Q: Estudio inglés.

                                       R: Iré a Francia.

                                       S: Iré a Inglaterra.

(p V q) à (r V s) ≠ (p à r) V (q à s)  {No se puede sacar esa formalización del enunciado anterior ya que si estudias francés no es obligatorio que vallas a Francia sino que también puedes ir a Inglaterra.}

   
   Aprendimos que el objetivo de la lógica deductiva es saber si una inferencia es o no formalmente válida, sabiendo que las inferencias inductivas no lo son. Para descubrirlo veremos 2 métodos.

1
1  1)     Tabla de verdad: Que se basa en averiguar si una proposición es verdadera(1) o falsa (0).

P   ----------    es lo contrario de  ---------- ¬ P

1                                                                                                                       0

0                                                                                                                              1

 p------------- ^ --------------- q

1                     1                     0

1                     0                     1

0                     0                     1

0                     0                     0

   El signo que significa “y” es verdadero cuando las dos proposiciones sean verdaderas .

p --------- V -------- q                     

1               1              1

1                1             0

0                0             0

0                1             1

  Existen dos tipos de disyunción, la excluyente (hoy es martes o lunes: solo hay una respuesta) y la no excluyente ( hoy es martes o esta nublado ) en esta tabla hemos representado la disyunción no excluyente, hablamos de excluyente si fuese : ṽ

p ------  → ------- q

1              1             1           

1              0             0

0              1             0

0              1             1

  Para que el condicionador sea verdadero la 1ª  proposición se tiene que dar  al mismo tiempo que la 2ª.

p ------------- ↔ ----------------- q

1                     1                     1

1                     0                     0

1                     0                     1

0                     1                     0

  Como deberes el profesor ha mandado a realizar una tabla de verdad para                [[(p  V q) àr ]  ^ ¬ r]à (¬ p ^ ¬ q)

Beatriz Álvarez.