DASAR-DASAR LOGIKA - IAIN Surakarta

logika 4dlogika simbolik seperti: Gottfried Wilhelm Leibniz (1646—1716) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakanLogika predikat mempelajari hubungan antara predikat dan subjek dalam bahasa formal, sementara logika modal mempelajari hubungan antara proposisi dan kebenaran dalam