Ilmu logika semula merupakan bagian dari ilmu Filsafat dan telah mulai dikembangkan oleh para filsuf Yunani kuno ratusan tahun sebelum masehi seperti Thales Pythagoras Aristoteles Euclides dan lain lain Logika matematis logika simbolik adalah bagiIlmu logika semula merupakan bagian dari ilmu Filsafat dan telah mulai dikembangkan oleh para filsuf Yunani kuno ratusan tahun sebelum masehi, seperti Thales, Pythagoras, Aristoteles, Euclides, dan lain-lain. Logika matematis (logika simbolik) adalah bagi