O‘zbekiston milliy universiteti m. ShAripov d. Fayzixo‘jayeva mantiq tarixi va nazariyasi falsafa yo‘nalishi talabalari uchun Darslik Toshkent

(( р → q ) Ù ( р → r ) → ( р→ ( q Ù r ))

Formulaning o‘qilishi: Agar r bo‘lganda q bo‘lsa, va r bo‘lganda r bo‘lsa, unda r bo‘lganda q va r bo‘ladi.

Masalan: Agar inson vijdonli bo‘lsa, o‘zgalarning haqqiga xiyonat qilmaydi va agar inson vijdonli bo‘lsa, adolatli bo‘ladi. Unda agar inson vijdonli bo‘lsa, o‘zgalarning haqqiga xiyonat qilmaydi va adolatli bo‘ladi.

2. Shartli mulohazalarning asoslarini ayiruvchi formula:

((р Ú q ) → r )) →( р → r )

Formulaning o‘qilishi: Agar p yoki q bo‘lganda, r bo‘lsa, unda p bo‘lganda r bo‘ladi.

((p Ú q ) → r)) →( q → r )

Formulaning o‘qilishi: Agar p yoki q bo‘lganda, r bo‘lsa, unda q bo‘lganda r bo‘ladi.

Masalan: Agar o‘zgalarning haqqiga xiyonat qilmasa yoki adolatli bo‘lsa, bunday inson vijdonli bo‘ladi. Agar o‘zgalarning haqqiga xiyonat qilmasa, bunday inson vijdonli bo‘ladi. Agar adolatli bo‘lsa, bunday inson vijdonli bo‘ladi.