"p → q" önermesinin totoloji olabilmesi için p ve q'nun doğruluk değerleri arasında nasıl bir ilişki olmalıdır?
A) p her zaman q'yu gerektirmeli
B) q her zaman p'den bağımsız olmalı
C) p'nin doğru olduğu her durumda q da doğru olmalı
D) p ve q her zaman aynı doğruluk değerine sahip olmalı
