Metode pembuktian langsung

Sebenarnya istilah membuktikan bisa berarti membuktikan bahwa sesuatu itu benar (prove) atau membuktikan bahwa sesuatu itu salah (disprove).

Sebelumnya kita telah membuktikan teorema 1 hingga 8. Metode yang kita pakai sampai saat ini adalah metode pembuktian langsung. Dalam metode pembuktian langsung kita menggunakan sejumlah aksioma atau teorema untuk mendapatkan kesimpulan menggunakan aturan inferensia.

Pembuktian langsung
dilakukan dengan menarik kesimpulan secara langsung dari aksioma atau teorema yang sudah diketahui.

Berikutnya: Hati-hati: Pembuktian yang sesat

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
logika sistem deduktif relasi biner