Kelengkapan sistem deduktif

Semua pertanyaan berbentuk Apakah x mengungu y? dapat dijawab dan dibuktikan dalam sistem Krucing. Jika setiap pernyataan dalam suatu sistem dapat dibuktikan benar (proven) atau dapat dibuktikan salah (disproven), sistem tersebut disebut sebagai sistem yang komplet.

Sistem deduktif yang komplet
Sistem deduktif yang cukup untuk membuktikan benar (prove) maupun membuktikan salah (disprove) semua pernyataan yang dapat dibuat dalam sistem tersebut.

Tidak semua sistem deduktif komplet. Ada sistem-sistem deduktif yang tidak mengandung beberapa informasi.

Berikutnya: Minimalitas dan independensi

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