Skip to main content
Peta Matematika Diskrit
Modul 4Perguruan TinggiLogikaBebas diakses tanpa akun

Aturan inferensi

MulaiLangkah 1 dari 14

Pemancing berpikir

Berhenti sebentar sebelum menghitung.

Menilai validitas argumen dengan aturan inferensi proposisional atau berkuantor.

Sebelum menghitung, prediksi: bagian mana dari aturan inferensi yang tetap dan bagian mana yang berubah? Jelaskan alasanmu dengan satu representasi visual.
pqp -> qmodus ponensBBBBBSSSSBBBSSBB

Bekal sebelum mulai

Kalau salah satu terasa samar, buka dulu modulnya:

Pertanyaan esensial

Bagaimana aturan inferensi dapat dipahami, direpresentasikan, dan diperiksa tanpa hanya menghafal langkah?