logika 4dLogika sebelum Aristoteles sebenarnya sudah ada dan orang-orang pada masa tersebut sudah menggunakan logika dalam berbagai perdebatan dalam berbagai situasi, namun penggunaanlogika simbolik seperti: Gottfried Wilhelm Leibniz (1646—1716) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakan