Yada önermesinin birleşme özelliği var mı?
Ya da bir önerme değil, bir mantıksal bağlaçtır. p ve q herhangi iki önerme olmak üzere p ya da q bileşik önermesi, her ikisi de doğru ve her ikisi de yanlış iken yanlış diğer durumlarda doğrudur. Bu bilgiler ışığı altında biraz daha düşünmeni tavsiye ederim.
Bu arada "ya da" bağlacı ile "veya" bağlaçlarının farklı olduğunu ifade edeyim.
Hocam soruda ard arda 3 yada bağlacı var birleşme özelliği olmadan sorunun cozulmesi imkansız gibi?
1⊻1≡0, 1⊻0≡1, 0⊻1≡1 ve 0⊻0≡0
varsayımlarını kullanarak
[p⊻(q⊻r)]⇔[(p⊻q)⊻r]
bileşik önermesinin totoloji olduğunu göstereceksin.