Matematiksel mantıkta bir önermenin çelişki olup olmadığını test etmek için aşağıdaki yöntemlerden hangisi kullanılır?
A) Önermenin doğruluk tablosunda tüm değerlerin 1 olması
B) Önermenin doğruluk tablosunda tüm değerlerin 0 olması
C) Önermenin tutarlı olması
D) Önermenin geçerli olması
