La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. Examina las formas y leyes generales del pensamiento humano sin referencia a objetos particulares. La lógica proposicional determina la veracidad de proposiciones y la validez de razonamientos proposicionales mediante el uso de símbolos, mientras que la lógica de términos analiza la estructura interna de proposiciones. Las conectivas como la conjunción y disyunción unen propos