Eksiksizlik

Vikipedi, özgür ansiklopedi
(Eksiksizlik (Mantık) sayfasından yönlendirildi)
Atla: kullan, ara

Herhangi bir cümle kümesi, dilinin oluşturabildiği her cümle (P) için, P ya da P'nin mantıksal tersini ispatlayabiliyorsa eksiksizdir. Aynı şekilde herhangi bir kuram, P ya da P'nin tersini içinde barındırıyorsa eksiksizdir.

[değiştir] İlgili bağlantılar

Kişisel araçlar
Ad alanları

Türevler
Eylemler
Gezinti
Katılım
Yazdır/dışa aktar
Araçlar