Мактабгача таьлим муассасалари тарбияланувчиларининг ақлий тафаккурини шакиллантиришда инноватцион технологияларнинг ўрни

I have not a toy car. Болалар севимли инсонларини эслашни ва улар ҳақида гапиришни хуш кўришади. Уларга 
бу имкониятни қуйидаги структура ѐрдамида беришимиз мумкин. Расмлардан хам фойдаланишимиз керак 
бўлади. Масалан: Who is … ? This is … . She is … . He is … . Who is this? This is a man. This is a father. He is a 
doctor. ва ҳ.к.Иш-ҳаракат ҳақида сабоқ бермоқчи булсангиз ―cаn‖ модал феъли ѐрдамидаги структурадан 
фойдаланамиз. Негаки ѐш болалар психологиясидан маълумки, улар нима қила олишларини гапиришни 
ѐқтиришади. Шу сабабли қила оладиган нарсаларини ўртоқларидан аввалроқ айтиб беришга ҳаракат қилишади. 
Масалан:  I can… (run, jump, see and etc.) 
Мен шунча йиллик иш тажрибамдан келиб чиқиб шундай хулосага келдим, яъни бошланғич синф 
ўқувчиларига ҳорижий тил ўргатишни асосан ҳарфлар, сонлар ва сўз бирикмалари ва структуралар асосида 
содда гаплар тузишни ўргатиш лозим. Ҳар бир дарс жараѐни турли ранг барангликни талаб қилади. негаки ѐш 
болалар бир соат давомида бир жойда ўтириб чарчаб ва зерикиб қолмасликлари учун турли дедактик ва интер-
фаол ўйинларидан фойдаланиш мақсадга мувофиқ бўлади. шу жумладан болалар ҳам жисмонан ва ақлан ўсиб 
боришади. 
 
ПОНЯТИЕ ПРЕДИКАТА В АНГЛИЙСКОМ ЯЗЫКЕ И МАТЕМАТИЧЕСКОЙ ЛОГИКЕ 
 
ХАМЕДОВА Н.Р., ТГПУ им. Низами. Студент. 
В логике описываются процессы умозаключений и законы мышления, которые позволяют из 
истинности одних суждений делать заключения об истинности или ложности других суждений только на 
основании форм этих суждений, независимо от их содержания. 
Введение в логику специальных символов дало возможность формулировать ее законы в самом общем 
виде и создало предпосылки для применения в логике математических методов, которые привели к 
возникновению новой области математики как математическая логика. 
Математика является наукой, в которой истину доказывают с помощью умозаключений. Для 
математики большое значение имеет логическая теория как средство построения математических знаний. 
В математической логике оперируют высказываниями и предикатами. Под высказыванием понимают 
предложения, истинность которых можно установить однозначно.
Например: «Число 2 простое»; «2+3=5»; «В числе 24 четыре десятка и две единицы»; «2˃5». 
Но не каждое предложение является высказыванием. Например: «Который час?», «Остановитесь!», 
«Наверное, пойдет дождь». 
Высказывания бывают простыми и составными. Например, следующие высказывания составные: 
«Число 2 простое и 2˃5»; «2+3=5 или в числе 24 четыре десятка и две единицы»; «Если число 2 простое, то 
2+3=5»; 
«Число 2 простое в том и только в том случае, если оно имеет только два делителя»; «Неверно, что в 
числе 24 четыре десятка и две единицы». 
В каждом простом высказывании есть подлежащее и сказуемое (субъект или объект и предикат). 
Английский термин ―subjekt‖ переводится как «подлежащее» в лингвистике и как «субъект» в логике, термин 
―predicate‖ переводится как «сказуемое» и «предикат».
Определим понятие предиката. Математические предложения могут содержать переменные. При 
некоторых значениях переменных они принимают истинные значения, при некоторых – ложные. Все значения 
переменных пробегают некоторое множество, которое называется областью определения предиката. В 
зависимости от количества переменных предикаты бывают одноместные (унарные), двуместные (бинарные), 

---

133 
трехместные (тернарные) и т.д. Для общности вводят понятие «0-арного» предиката, примером которого 
являются высказывания.
Например: «Натуральное число а является простым» - Р(а), где a
N; «Целые числа a и b имеют 
одинаковый знак» - F(a,b), где a,b
; «Сумма действительных чисел a и b равно с» - S(a,b,c),где a,b,c
R; 
Таким образом, для определения предиката задается множество А, про элементы «а» которого 
высказывается некоторое суждение «Р», так, что для некоторых элементов А это суждение выполняется, для 
остальных не выполняется. Если предикат одноместный, суждение высказывается относительно свойств 
объекта «а», если переменных больше, то суждение высказывается про отношения между ними.
В предикате подлежащее переменчиво, а сказуемое постоянно, поэтому все предложение названо 
термином его постоянной значимой части, в некоторых источниках предикат еще называют высказывательной 
формой, так как оно порождает множество высказываний одной и той же формы.
Слова «все» и «некоторые» называют кванторами. Слово «квантор» с латинского означает «столько», 
т.е. показывает, о скольких объектах говорится в том или ином предложении. Различают кванторы общности и 
существования. 
Квантор общности - это слова «любой», «всякий», «каждый», «все». Квантор общности обозначается 
знаком

- от первой буквы английского слова «All». Квантор существования – это слова «существует», 
«некоторые», «найдется», «хотя бы один». Квантор существования обозначается знаком 

- от первой буквы 
английского слова «Exist». Есть также квантор существования единственного 

! - «существует единственный 
такой элемент, что …» 
Кванторы обращают предикат в высказывание без подстановки конкретных значений. Например, 
предикат А(х): «Число х делится на 3» можно обратить в высказывание –
(

х)А(х): «Любое число х делится на 3» - ложное высказывание. 
(

х)А(х): «Существует число х, которое делится на 3» - истинное высказывание. 
(

х)А(х): «Существует единственное число, которое делится на 3» - ложное высказывание. 
Истинность высказываний с квантором общности устанавливается путем доказательств. Чтобы 
убедиться в ложности таких высказываний, достаточно привести контрпример.