About this course

Kata Logika berasal dari Bahasa Yunani Logos, yang terjemahaan dalam Bahasa Inggris adalah reason. Pada masa Yunani kuno logika ini diperkenalkan oleh Aristoteles dan disebut dengan logika klasik. Prinsip dari logika klasik ini adalah penalaran silogisme. Silogisme tersusun atas premis dan kesimpulan.

Dengan menggunakan silogisme seseorang dapat membedakan apakah suatu argumen bersifat valid atau tidak. Masa setelah Aristoteles, logika klasik berkembang menjadi logika modern. Pada masa itu mulai dikenalkan simbol-simbol logika untuk menyatakan suatu premis serta nilai kebenarannya. Logika modern ditemukan oleh Augustus De Morgan dan George Boole.

Pada dasarnya Logika adalah ilmu pengetahuan yang mempelajari metode dan prinsip yang digunakan untuk membedakan penalaran yang baik dan penalaran buruk. Penalaran ini mempelajari bentuk atau struktur argumen (pernyataan individu). Pembelajaran ini memberikan para peserta pengetahuan mengenai tiga sistem logika dasar yaitu Logika Kategori, Logika Preposisi, dan Logika Predikat. Ketiganya digunakan untuk menguji suatu argumen. Dalam menguji suatu argumen setiap sistem logika menggunakan metode yang berbeda.

Pada Logika Kategori akan mempelajari cara menganalisis struktur subjek-predikat dalam suatu kalimat dan salah satu pengujian validitasnya dapat menggunakan Diagram Venn, sedangkan pada Logika Proposisi fokus pada hubungan kalimat dan pengujian validitasnya dapat menggunakan tabel kebenaran, dan terakhir Logika Predikat adalah gabungan dari keduanya untuk menganalisis penalaran dan hubungan kalimat yang kompleks. Selain itu, peserta akan mempelajari cara bagaimana melakukan konversi kalimat natural menjadi kalimat logika preposisi menggunakan aturan inferensi yang berlaku.


What you will learn

Mampu menjelaskan konsep dasar logika beserta penggunaan operator dalam penulisan berbagai jenis argument.

Mampu menjelaskan proposisi AEIO dan membuktikan kebenaran logika kategori menggunakan diagram Venn

Mampu menggunakan tabel kebenaran untuk menarik kesimpulan dalam logika proposisi dan melakukan konversi kalimat natural dalam kalimat logika proposisi dan/atau sebaliknya

Mampu menggunakan kuantor universal dan eksistensial dalam melakukan konversi kalimat berdasarkan aturan inferensi yang berlaku

Meet your instructors

Course Information

Start Date

30 October 2023

End Date

-

Language

-

Category

Computer Science

Duration

2 hours

Enrolled Students

1

Rating

0.0

Reviews

No review yet

Pendaftaran mandiri (Siswa)
Pendaftaran mandiri (Siswa)