sequènte

sequente

sequènte s. m. [dall’ingl. sequent, nel sign. di «conseguente»]. – In logica matematica, coppia di insiemi di formule, dette rispettivam. premesse e conclusioni; il sequente è valido se dalla congiunzione delle premesse si deduce la disgiunzione delle conclusioni.