Garis besar topik

  • Dalam mata kuliah ini, kita akan menjelajahi Logika Predikat, yang merupakan fondasi penting dalam kajian matematika dan ilmu komputer. Materi yang akan dibahas meliputi konsep dasar Logika Predikat, kuantifikasi universal dan eksistensial, serta hukum-hukum dasar seperti hukum identitas, komutatif, asosiatif, dan distributif. Selain itu, kita juga akan mempelajari Hukum De Morgan yang memiliki peranan krusial dalam mengubah pernyataan logika. Mari kita telusuri bersama konsep-konsep yang menarik dan fundamental ini dalam Logika Predikat.