BAB VI. LOGIKA MATEMATIKA