290
predikati hamma vaqt to‗liq hajmda bo‗ladi. Tasdiq hukmlarning predikati R ≤ S bo‗lgandagina
to‗liq hajmda bo‗ladi, boshqa hollarda esa to‗liqsiz hajmda olinadi.
Hukmlarda terminlar hajmini aniqlash qat‘iy sillogizmni to‗g‗ri
tuzishda va bevosita xulosa
chiqarishda muhim ahamiyatga ega.
Oddiy hukmlarda terminlar hajmini quyidagi sxema orqali yaqqol ifodalash mumkin.
Bunda
«q» – to‗liq hajmni, « - » – to‗liqsiz hajmni bildiradi.
Do'stlaringiz bilan baham: