TEOREMA ELIMINASI CUT PADA LOGIKA PREDIKAT FL DENGAN ATURAN N-MINGLE - Diponegoro University | Institutional Repository (UNDIP-IR)