↑ Ye dicir laplicación duna llei lóxica» o tautoloxía que garantice la verdá del tresformamientu como una verdá equivalente que samuesa en tolos posibles casos de la tabla de verdá de los dos proposiciones rellacionaes con un coimplicador