Lógica Computacional: Equivalencias e implicaciones lógicas

martes, 3 de junio de 2014

Para trabajar con las derivaciones lógicas es importante que tengas a mano esta tabla de equivalencias e implicaciones lógicas: