ongi ezaguna da esakuneak logika formalean binaka doazela, aurrekaria eta atzekaria, subjektua eta predikatua: es cosa sabida que las frases en logica formal van de dos en dos, el antecedente y consecuente, subjeto y predicado
(Mat.)consecuente;
lehen berdintzako aurrekariak eta atzekariak batuz bigarren berdintza lortuko dugu: juntado los antecedentes de la primera igualdad y consecuentes se consigue la segunda igualdad