mantık

Question

Yada önermesinin birleşme özelliği var mı?

Comments

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\veebar 1\equiv 0, \,\,\,\ 1\veebar 0 \equiv 1, \,\,\,\ 0\veebar 1\equiv 1 \,\,\,\ \text{ve}  \,\,\,\ 0\veebar 0\equiv 0$$

varsayımlarını kullanarak

$$[p\veebar (q \veebar r)] \Leftrightarrow [(p\veebar q) \veebar r]$$

bileşik önermesinin totoloji olduğunu göstereceksin.