1.2.3 Construcción de enunciados en la lógica proposicional

 

Los conectores se pueden utilizar con una o más proposiciones compuestas.[2]

Ejemplo:

p: Llueve
q: Estoy en mi casa.
r: Me mojaré.

 

(p ˄ q) → ¬r: Si llueve y estoy en mi casa, no me mojaré.

 

Reglas de prioridad

En la tabla siguiente se muestra la prioridad de los conectores lógicos, de mayor a menor prioridad.


Negación ¬
Conjunción ˄
Disyunción ˅
Condicional
Bicondicional