Soru: p => q gerektirmesinin totoloji olup olmadığını kontrol ediniz. p: "Yağmur yağıyor", q: "Yerler ıslak"
Çözüm: Gerektirme totoloji olması için tüm durumlarda doğru olmalıdır. p doğru, q doğru: p=>q doğru. p doğru, q yanlış: p=>q yanlış. p yanlış, q doğru: p=>q doğru. p yanlış, q yanlış: p=>q doğru. Gerçek hayatta yağmur yağdığında yerler her zaman ıslak olmayabilir (örn: çatı altı), bu nedenle p doğru iken q yanlış olabilir ve gerektirme yanlış olur. Sonuç: Bu gerektirme totoloji değildir.
