HUKUM LOGIKA DAN KAIDAH INFERENSI

Dr. Fitriani dan Dr. Asmiati

Hukum Logika
Contoh: Sederhanakanlah bentuk
Contoh 2. Buktikan ekuivalensi kalimat berikut tanpa menggunakan hukum hukum
ekuivalensi logika
2.
Kaidah Inferensi
Untuk mengecek suatu argument merupakan kalimay
yang valid dapat dilakukan langkah-langkah sebagai
berikut.
Metode-Metode Inferensi
Contoh 5. 2 adalah bilangan prima dan bilangan genap.
Jadi, 2 adalah bilangan prima
Silogisme Hipotesis

Prinsi silogisme hipotesis adalah sifat transitif pada pernyataan implikasi.

Secara simbolis, bentuk metode inferensi silogisme hipotesis digambarkan sebagai
Konjungsi

Jika ada dua pernyatan yangbernilai benar, maka gabungan dua kalimat
tersebut
jika digabungkan dengan kata hubung ’dan’ juga bernilai benar.