Tutarsızlık
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
This article is issued from Vikipedi - version of the 10/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.