Este documento presenta información sobre proposiciones lógicas. Define proposiciones atómicas y moleculares, y explica que las proposiciones atómicas carecen de conectivos lógicos mientras que las moleculares los contienen. También cubre cuantificadores lógicos universales, existenciales y de unicidad, y cómo estos afectan el valor de verdad de las proposiciones.