7-mavzu. Tafakkur shakllari: tushuncha, hukm va xulosa

(( р → 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.
Kontropozitsiya qonuni asosida xulosa chiqarish
Kontropozitsiya qonuni – shartli mulohazaning asos va natijasini (antetsedent va konsekvent) inkor yordamida o‘rin almashtirishga imkon beruvchi mantiqiy qonunlarning umumiy nomi. Bu qonunlarning simvolik ifodalanishi quyidagicha:

1. 
   (r→ q) → (ù q → ù r)
   

Formulaning o‘qilishi: Agar r bo‘lganda q bo‘lsa, unda q bo‘lmasa r ham bo‘lmaydi.
Masalan: Agar tong otsa, Quyosh chiqadi, unda tong otmasa, Quyosh ham chiqmaydi.

2. 
   (ù r→ù q) → (q → r)
   

Formulaning o‘qilishi: Agar r bo‘lmasa q ham bo‘lmaydi, unda q bo‘lsa r ham bo‘ldi.
Masalan: Agar tong otmasa, Quyosh chiqmaydi, unda Quyosh chiqsa, tong otgan bo‘ladi.

3. 
   (r→ù q) → (q →ù r)
   

Formulaning o‘qilishi: Agar r bo‘lsa q bo‘lmaydi, unda q bo‘lsa r ham bo‘lmaydi.
Masalan: Agar uchburchak kvadrat bo‘lmasa, unda kvadrat uchburchak emas.

4. 
   (ù r→q) → (ù q → r)
   

Formulaning o‘qilishi: Agar r bo‘lmasa ham q bo‘lsa, unda q bo‘lmasa r bo‘ladi. Mas. Agar shubhali bo‘lmagan narsa aniq bo‘lsa, unda aniq bo‘lmagan narsa shubhalidir.