Tanto el condicional como la implicación en el cálculo lógico se expresan según el esquema A → B, que puede leerse de dos formas: