Çift gerektirme nedir (Karşılıklı koşulun totoloji olması) Test 1

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
D) q, p'yi gerektirmelidir