No entiendo que la lógica clásica deje de funcionar, sus tablas de verdad, etc...
Porque la definición con tablas de verdad verifica los axiomas de la Lógica Clásica, ¿en qué nos basamos para decir que necesitamos un nuevo OR, o un nuevo AND; que son "los verdaderos" y no los que veníamos usando?
No entiendo otro significado de "OR", más que ser cierto si por lo menos una de las proposiciones es cierta. ¿Qué son entonces las conectivas AND; OR, implicador, etc....en esta nueva lógica?
Porque la definición con tablas de verdad verifica los axiomas de la Lógica Clásica, ¿en qué nos basamos para decir que necesitamos un nuevo OR, o un nuevo AND; que son "los verdaderos" y no los que veníamos usando?
No entiendo otro significado de "OR", más que ser cierto si por lo menos una de las proposiciones es cierta. ¿Qué son entonces las conectivas AND; OR, implicador, etc....en esta nueva lógica?
Comentario