Logikai következmény fogalma az elsõrendû nyelvekben