logika matematika Norma Puspitasari
Penulis Norma Puspitasari, M.Pd
Institusi Politeknik Indonusa Surakarta
ISBN 978-623-92318-8-0
Penerbit Politeknik Indonusa Surakarta
Tahun 2020

Deskripsi

          Dahulu logika dipelajari sebagai salah satu cabang filsofi atau ilmu filsafat. Akan tetapi, sejak tahun 1800-an logika dipelajari di bidang matematika dan sekarang ini juga di bidang ilmu komputer karena logika mempengaruhi ilmu komputer di bidang perangkat keras atau perangkat lunaknya. Logika disini disebut logika simbol (symbolic logic) karena ia mempelajari usahausaha menyimbolisasikan logika secara formal. Oleh karena itu, logika disebut logika formal (formal logic). Dengan kata lain, logika dipelajari sebagai sistem formal yang menjelaskan peranan sekumpulan rumus- rumus ataupun sekumpulan aturan untuk derivasi. Derivasi dipahami sebagai pembuktian validitas argumen yang kuat dengan didukung kenyataan bahwa kesimpulan yang benar harus diperoleh dari premispremis yang benar.

          Buku ini memuat tentang Pengenalan Logika Matematika, Logika Proposisional, Tabel Kebenaran, Proposisi Majemuk, Validitas Argumen, dan Logika Fuzzy yang semuanya diharapkan dapat membantu menambah ilmu dan wawasan mengenai logika matematika ini.

E-Book