Pq
P
q
Pq
CHin
CHin
Xato
xato
CHin
Xato
CHin
xato
CHin
Xato
Xato
Xato
b) Ayiruvchi (diz'yunktiv) hukmlar. Bunday hukmlarning sub'ekti yoki predikati bir necha narsalar, xodisalarni yoki ularning belgilarini ifodalashi mumkin. Uning formulasi formal mantiqda qo’yidagicha ifodalanadi: pvq. Ayiruvchi hukmlar formulasi qo’yidagi shakllarda ifodalanadi:
«S yoki R yoki R1 yoki R2 dir»
Yoki «S yoki S1 yoki S2 – R dir».
Birinchi shaklda bir sub'ekt va bir predikat bo’lsa, ikkinchi shaklda, aksincha bir necha sub'ekt va bir predikat bor.
Bo’lingan hukmlarda sub'ektga ta'luqli bo’lgan predikatlar ba'zan o’zaro bog’langan va ba'zan esa bir-biriga zid bo’ladilar.
Pq
Foydalanilgan adabiyotlar:
N.Shermuhammedova "Falsafa va fan metodologiyasi"
Hoshimova I Falsaf
Hayitov A. Falsafa fani izohli lug'ati.
Do'stlaringiz bilan baham: |
