Tutarsızlık (Mantık)
Vikipedi, özgür ansiklopedi
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 her hangi 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.

