Para estudiar el tema de la transmisión de la verdad de una variable a otra dentro de una afirmación/proposición que relaciona condicional y estrechamente dos o más hechos, digamos el hecho antecedente “A” y el hecho consecuente “C”, que en un formato condicional es igual a A->C.