estimaba la condición tal como hoy día se define la función de "condicional" en las tablas de verdad.