https://123dok.com/document/z1dp3r1d-makalah-logika-matematika-diajukan-memenuhi-matematika-pengampu-sujatmiko.html