Logica Discreta

En logica y matematica, la logica prposicional es un sistema formal diseñado para analizar ciertos tipos de argumetos. En la logica proposicional, las formulas representan proposiciones y las constantes logicas son operaciones sobre ls formulas q producen otras formulas de mayor complejidad. Como otros sistemas logicos, la logica proposicional intenta esclarecer nuestra comprehencion de la nocion de consecuencia logica para el rango de argumentos q analiza.