Bir çift gerektirme önermesinin totoloji olması durumunda, p ve q önermeleri arasındaki ilişki için aşağıdakilerden hangisi kesinlikle doğrudur?
A) p ve q aynı anlama gelir
B) p ve q farklı anlamlara gelir
C) p, q'yu gerektirir ama q, p'yi gerektirmez
D) q, p'yi gerektirir ama p, q'yu gerektirmez
