logika 4dLogika (bahasa Belanda: logica) atau mantik adalah studi tentang penalaran yang tepat. Logika, menurut objek studinya, dibagi menjadi dua, yakni logika formal dan logika informal. Logikalogika simbolik seperti: Gottfried Wilhelm Leibniz (1646—1716) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakan