Se ha sugerido que este artículo o sección sea fusionado con Lógica bivalente.Para más información, véase la discusión.
Una vez que hayas realizado la fusión de contenidos, pide la fusión de historiales aquí.Uso de esta plantilla: {{sust:Fusionar|Nombre de hasta otros veinte artículos para fusionar separados por "|"}}
Uso de esta plantilla: {{Discutido|t={{sust:CURRENTTIMESTAMP}}}}
Una lógica clásica es un sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una proposición solo puede ser verdadera o falsa, no existen valores intermedios de verdad.
El clásico sistema de lógica bivalente es la lógica aristotélica que se sustenta en tres principios básicos:
Una consecuencia de estos supuestos es que si una proposiciónA no es falsa, entonces debe ser verdadera. Por lo tanto, para probar que algo es verdadero, será suficiente probar que no es falso. En el caso del condicional, solo es falso cuando es verdadero y falso, es decir , demostrando que este caso no es posible, se demuestra que el condicional es verdadero.[1]
No admite tampoco matices modales en sus enunciados, tales como "es necesario que", "es imposible que", etc. Se limita al lenguaje enunciativo o declarativo.
Existen otros sistemas de lógicas que no se sustentan en estos principios y por lo tanto admiten más de dos valores de verdad. Los sistemas de lógica modales o plurivalentes (como la lógica trivalente de Jan Łukasiewicz o la lógica trivalente de Kleene), aceptan un tercer valor, como "indeterminado" o "posible".
lógica, bivalente, sugerido, este, artículo, sección, fusionado, para, más, información, véase, discusión, hayas, realizado, fusión, contenidos, pide, fusión, historiales, aquí, esta, plantilla, sust, fusionar, nombre, hasta, otros, veinte, artículos, para, fu. Se ha sugerido que este articulo o seccion sea fusionado con Logica bivalente Para mas informacion vease la discusion Una vez que hayas realizado la fusion de contenidos pide la fusion de historiales aqui Uso de esta plantilla sust Fusionar Nombre de hasta otros veinte articulos para fusionar separados por Existen dudas o desacuerdos sobre la exactitud de la informacion en este articulo o seccion En la pagina de discusion puedes consultar el debate al respecto Uso de esta plantilla Discutido t sust CURRENTTIMESTAMP Una logica clasica es un sistema logico que admite solo dos valores de verdad para sus enunciados premisas y conclusion En la logica bivalente una proposicion solo puede ser verdadera o falsa no existen valores intermedios de verdad El clasico sistema de logica bivalente es la logica aristotelica que se sustenta en tres principios basicos Principio de identidad es verdad que A es identico a A a si mismo A A Principio de no contradiccion A no puede ser A y no A al mismo tiempo A A Principio del tercero excluido A es verdadero o es falso no hay una tercera posibilidad A v AUna consecuencia de estos supuestos es que si una proposicion A no es falsa entonces debe ser verdadera Por lo tanto para probar que algo es verdadero sera suficiente probar que no es falso En el caso del condicional P Q displaystyle P rightarrow Q solo es falso cuando P displaystyle P es verdadero y Q displaystyle Q falso es decir V F displaystyle ce V rightarrow F demostrando que este caso no es posible se demuestra que el condicional es verdadero 1 No admite tampoco matices modales en sus enunciados tales como es necesario que es imposible que etc Se limita al lenguaje enunciativo o declarativo Existen otros sistemas de logicas que no se sustentan en estos principios y por lo tanto admiten mas de dos valores de verdad Los sistemas de logica modales o plurivalentes como la logica trivalente de Jan Lukasiewicz o la logica trivalente de Kleene aceptan un tercer valor como indeterminado o posible Vease tambien EditarSistema formal Logica Logica matematica Logica plurivalente Logica difusaReferencias Editar Bloch Ethan Proofs and fundamentals Datos Q9026215Obtenido de https es wikipedia org w index php title Logica bivalente amp oldid 128605172, wikipedia, wiki, leyendo, leer, libro, biblioteca,
