Soru: (p ve q) => p gerektirmesi totoloji midir? Açıklayınız.
Çözüm: Öncül (p ve q) doğru olduğunda p mutlaka doğru olmalıdır. p doğru, q doğru: p ve q doğru, p=>p doğru. p doğru, q yanlış: p ve q yanlış, öncül yanlışsa gerektirme doğru. p yanlış, q doğru: p ve q yanlış, gerektirme doğru. p yanlış, q yanlış: p ve q yanlış, gerektirme doğru. Tüm durumlarda ifade doğru olduğundan bu bir totolojidir.
