cevap:Gerektirme önermelerinde, p=> q sembolü baz alınır. Bu sembolde doğruluk değeri her zaman 1 çıkıyorsa her zaman doğru bir önermedir denir. Gerektirme budur. Çift gerektirme ise bu sembolden hareketle p q bu sembolde yer alan çift yönlü önermeyi oluşturmaktadır.
