Una proposición molecular es una proposición compuesta, como opuesta a una proposición atómica. Es una fbf con al menos una conectiva binaria, por lo que contiene dos o más proposiciones simples (componentes) unidos por una conectiva. Una proposición compuesta sólo tiene un valor de verdad para una determinada interpretación.