También, un condicional, que en cierto sentido corresponde al conectivo condicional material, es esencialmente no-booleano porque para codice_1 la consiguiente Q no se ejecuta si el antecedente P es falso (aunque un compuesto como un todo es exitosa ≈ "verdadera" en tal caso).