Este documento describe diferentes tipos de proposiciones en lógica, incluyendo proposiciones atómicas, conectores lógicos como "y" y "o", y composiciones. Las proposiciones atómicas son oraciones declarativas simples que no pueden descomponerse más, como "Juan corre". Los conectores lógicos como "y" y "o" se usan para conectar proposiciones en conjunciones y disyunciones. Las composiciones involucran descomponer proposiciones más complejas en proposiciones