Pertemuan 5 (logika Predikat) - atin, Sufa (2019)