Mata Kuliah Matematika Model
Dosen Pengampu: Prof. Dr. Marsigit,
MA.
Formal merupakan suatu metode dalam
menyusun penalaran yang logis, konsisten, terstruktur, koheren, analitik dan
ideal. Dalam hal ini logika merupakan hal yang fundamental dalam memahami
metode formal. Logika (Beth, 1962) merupakan teori deduktif inferensial yang
berkaitan erat dengan konsep himpunan, premis dan modus Ponens....