Es una proposición compuesta de proposiciones atómicas afectadas por conectivos lógicos.
Enlaces:[1] https://www.matetam.com/glosario/definicion/proposicion