Revisi per 2 Desember 2008 13.37 sunting Bennylin (bicara \| kontrib) Pengurus antarmuka, Pengurus 255.181 suntingan kTidak ada ringkasan suntingan ← Revisi sebelumnya		Revisi per 8 Desember 2008 04.21 sunting balikkan Bennylin (bicara \| kontrib) Pengurus antarmuka, Pengurus 255.181 suntingan k →‎Lihat pula Revisi selanjutnya →
Baris 60: * [[Metode deduksi-hipotetis]] * [[Inquiry]] * [[~~Bukti~~Pembuktian melalui induksi]] * [[Pembuktian melalui kontradiksi]] {{col-break}} * [[Konsekuensi logis]] Baris 68 ⟶ 69: * [[Soundness]] {{logika-stub}} [[Kategori:Pembuktian]] [[Kategori:~~Filsafat~~Istilah matematika]] [[bg:Дедукция]]

Pembuktian melalui deduksi: Perbedaan antara revisi