Conexiones lógicas binarias

Conjunción AND (^)
Dos preposiciones que se
Evalúan como p q -> p^q.

Disyunción OR (˅)
Con que alguna preposición
Se cumpla se cumple la
Completa combinación p q->p˅q

Condicional IF
Si p entonces q
(p->q)

Bicondicional IFTHE
p si solo q (p<->q)