Logika IT-школа

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