Usuario:Aaaw04/Ejercicio6

De Wikilibros, la colección de libros de texto de contenido libre.

Considere la conexion (conectiva)→ desde el punto de vista algebraico; esto es, suponga que toda expresion es o bien V o bien F.

a) Escribir la tabla de operacion de →.
b) Formule las condiciones que debe satisfacer un elemento del conjunto (V,F) para ser una    identidad por la izquierda de →. ¿Existe esa identidad por la izquierda? ¿Hay alguna identidad por la derecha?
c) ¿Tiene → un cero por la izquierda? ¿Tiene → cero por la derecha? Justifique su respuesta?


  a)      V   F
      V   V   F 
      F   V   V


  b) Identidad por la izquierda: V
       Âx((V→x)↔x) es verdad para todos los casos
     Identidad no por la derecha:
       Âx((x→V)↔x) y Âx((x→F)↔x) son ambas falsas
 c) Cero por la izquierda: no existe puesto que Âx((V→x)↔V)y Âx((F→x)↔F)son falsas
    Cero por la derecha: V, porque Âx((x→V)↔V)