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.
![]() |
|
![]() |
![]() |
![]() |