LÓGICA PROPOSICIONAL

También conocida como lógica de la declaración, es la rama de la lógica que estudia la unión y modificación de proposiciones enteras.