Este documento resume dos tipos de proposiciones: atómicas y moleculares. Las proposiciones atómicas se refieren a un único contenido de verdad o falsedad, como una oración simple. Las proposiciones moleculares constan de varias proposiciones atómicas unidas por conectivas lógicas como "y", "o", "entonces", que establecen relaciones entre las proposiciones atómicas según sus funciones de verdad. Un ejemplo dado es la proposición "Si llueve, entonces el suelo está moj