İçeriğe atla

Tutarsızlık

Vikipedi, özgür ansiklopedi
19.48, 2 Ekim 2016 tarihinde Vikiçizer (mesaj | katkılar) tarafından oluşturulmuş 17665581 numaralı sürüm (→‎top: düzeltme AWB ile)
(fark) ← Önceki hali | Güncel sürüm (fark) | Sonraki hali → (fark)

Herhangi bir cümle kümesi, herhangi bir cümle (P) için, hem P'yi hem de P'nin mantıksal tersini ispatlayabiliyorsa tutarsızdır. Aynı şekilde herhangi bir kuram, herhangi bir cümle (P) için, hem P'yi hem de P'nin tersini içinde barındırıyorsa tutarsızdır.

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