Los conectivos lógicos que usaremos son