BAB I DEFINISI DEFINISI DAN PENGGUNAANNYA DIDALAM PEMBUKTIAN