∧
Una proposición formada por proposiciones simples unidas por conectivas lógicas
La disyunción
Una proposición que es siempre verdadera
La implicación
~
Un método para determinar los posibles valores de una proposición compuesta
La negación
∧
Una operación que establece relaciones entre proposiciones