Diferencia entre revisiones de «Lógica proposicional»

En [[lógica]] y [[matemática]], la '''lógica proposicional''' es un [[sistema formal]] diseñado para analizar ciertos tipos de [[argumento]]s. En la lógica proposicional, las fórmulas representan [[Proposición (lógica)|proposiciones]] y las constantes lógicas son [[operación|operaciones]] sobre las fórmulas que producen otras fórmulas de mayor complejidad.<ref>{{cita enciclopedia |título=propositional calculus |idioma=inglés |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e2552 |enciclopedia=Oxford Dictionary of Philosophy |editor=Simon Blackburn |editorial=Oxford University Press |fechaacceso=13 de agosto de 2009}}</ref> Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de [[consecuencia lógica]] para el rango de argumentos que analiza.