(molecular o coligativa):
Son aquellas proposiciones que se obtienen de la combinación de dos o más proposiciones
simples, las cuales son enlazadas por los símbolos: a , v , llamadas
conectivas lógicas.
Donde: “y” se representa por “ a ”
“o” se representa por “v ”
“si ... entonces . . . ” se representa por “p -> q”
“si ...y solo s i . . . ” por “/? <-» #”
Los conectivos lógicos son símbolos que enlazan proposiciones atómicas, sin formar
parte de ellas. Dichos símbolos también toman el nombre de operadores.