Lógica tradicional y la lógica simbólica
Clasificado en Filosofía y ética
Escrito el en español con un tamaño de 2,64 KB
La lógica Proposicional o lógica de orden cero es un sistema formal cuyos Elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre Proposiciones, capaces de formar otras proposiciones de mayor complejidad.
La Lógica proposicional trata con sistemas lógicos que carecen de Cuantificadores, o variables interpretables como entidades. En lógica Proposicional si bien no hay signos para variables de tipo entidad, sí existen Signos para variables proposicionales (es decir, que Pueden ser interpretadas como proposiciones con un valor de verdad definido), De ahí el nombre proposicional. La lógica proposicional incluye además... Continuar leyendo "Lógica tradicional y la lógica simbólica" »