Bir çift gerektirme önermesinin totoloji olabilmesi için p ve q önermeleri arasında nasıl bir ilişki olmalıdır?
A) p ve q mantıksal olarak eşdeğer olmalıdır
B) p ve q birbirinden bağımsız olmalıdır
C) p, q'yu gerektirmelidir ama q, p'yi gerektirmemelidir
D) p ve q birbirini dışlamalıdır
