Kompyuter linvistikasi” fanidan o‘quv-uslubiy majmua

G : He has been working since morning?
G11 : Has he not been working since morning?
G: The teacher read the story to the students.
G12 : Why did the teacher not read the story to the students?
G1: I will come.
G2: You have not done your homework.
G3: I will punish you.
G13: When I come if you have not done your homework I will punish you.
Isboti: A1 aksiomasini olamiz. Unga 5-X+ ni tatbiq qilamiz. Hosil qilingan formulaga 3-X+ ni tatbiq etamiz. Shu tarzda G11 tipidagi gapni hosil qilamiz.

2-tеorеma. G (e, t, h, q) G12 (s, e, t, h, k2) gapi. (G12 – maxsus so‘roq-inkor gap).