VIERNES 19 DE FEBRERO DE 2010

Hoy hemos empezado la clase corrigiendo las frases que colgó el profesor en el blog sobre formalizar frases.
En varias correcciones aclaró lo siguiente:
-La relación conjuntiva es cuando dos proposiciones se dan al mismo tiempo y se lee como “y”.
-Se habla de doble implicador cuando el enunciado tiene 3 proposiciones.
Entre dos proposiciones habrá siempre una relación fundamental, conjuntiva, disyuntiva o condicional:
(p^q)->r En este caso la relación fundamental es la condicional porque abarca a toda la expresión.
p^(q->r) La relación fundamental es una conjunción.

-En la conjunción y la disyunción las proposiciones que aparecen se denominan "términos".
-En la relación condicional llamamos al término que está delante del condicionador "antecedente" y al que va detrás "consecuente". Y en la relación bicondicional cada uno de los términos es a la vez antedecente y consecuente.
-Sobre el tema de las disyuntivas, si al principio de la proposición 1ª hay una “o” y luego hay otra en la 2ª proposición, esta no altera el resultado, porque solo es un rasgo estilístico:
Estaría mal así= v p v q Porque una conectiva no puede situarse al principio de una expresión, siempre va entre términos, el único que puede preceder a una proposición es el negador ¬. Por lo tanto estaría bien así= p vq

Despues de corregir los enunciados el profesor explicó que para saber si una inferencia es o no valida hay dos métodos: tablas de verdad de las conectivas lógicas y el cálculo de deducción natural.
Luego explicó brevemente la que utilizaremos en primer lugar, las tablas de la verdad:

-Una proposición es un enunciado que afirma o niega algo, es decir, puede ser verdadero o falso, entonces:
V-1
F-0
En este caso para saber si el enunciado es verdadero o falso utilizaremos el código binario y lo emplearemos en las tablas de la verdad.
Disyuntiva: O se da una proposición o la otra o las dos (es falsa cuando ninguna es verdadera)
p v q
1 1 1
1 1 0
0 1 1
0 0 0

Conjuntiva: es verdadera cuando el primer y segundo término sean uno (ambos verdaderos)
P ^ q
1 1 1
1 0 0
0 0 1
0 0 0

Condicional: es falsa cuando el antecedente se da y el consecuente no (será verdadera mientras el consecuente ocurra, aunque sea por otras circunstancias)
P ->q
1 1 1
1 0 0
0 1 1
0 1* 0
*Si no se da p no se da q, entonces la relación condicional es V

Doble condicional: o ambos o ninguno.
P <--> q
1 1 1
1 0 0
0 0 1
0 1 0

Negador: Se invierten los valores.
p ¬p
1 0
0 1

Mandó como tarea para el fin de semana, los enunciados que hemos formalizado, intentar hacer la tabla de la verdad de ellos.

Raquel Rodriguez.