Soru: p => (p ve q) ifadesi totoloji olabilir mi? Nedenini açıklayınız.
Çözüm: p doğru olduğunda (p ve q) ifadesinin de doğru olması gerekir, bu da q'nun doğru olmasını gerektirir. Ancak p doğru iken q yanlış olabilir. Örneğin: p doğru, q yanlış: p ve q yanlış, p=>yanlış yanlış olur. Bu durumda ifade yanlış çıkar. En az bir durumda yanlış olduğu için bu gerektirme totoloji değildir.
