Font size
WorksheetsМножественный выбор по математической логике (казахский язык)
Total questions: 95
Worksheet time: 48mins
Аксиоматикалық теория анықтамасына қатысты емес:
қатынас жүйесі
алфавит
аксиомалар жүйесі
қорыту ережесі
салдарлар жүйесі
Предикаттарды белгілейді:
Латын алфавитінің әріптерімен
араб цифрларымен
рим цифрларымен
кез-келген әріптермен
кез-келген цифрлармен
Предикаттың жоғарғы индексі нені көрсетеді:
аргументтер санын
аргументтер мәнін
предикат типін
предикат класын
предикат дәрежесін
∀ символы қалай аталады?
жалпылық кванторы
бар болу кванторы
ортақтық кванторы
теңдік кванторы
орнықтылық кванторы
∃ символы қалай аталады?
бар болу кванторы
теру кванторы
теңдік кванторы
жалпылық кванторы
орнықтылық кванторы
Предикаттар есебіндегі атомарлық формуланың бұйымдық айнымалылары:
еркін
байламды
бульдик
ақиқаттық
жалғандық
A̅ формуласы үшін А формуласының байламды айнымалылары
еркін
байламды
бульдік
ақиқаттық
жалғандық
A̅ формуласы үшін А формуласының еркін айнымалылары
еркін
байламды
бульдік
ақиқаттық
жалғандық
(∀x)A(x, y, z) формуласы бар. Осы формуладағы Х айнымалысы:
байламды
еркін
еркін емес
байламды емес
еркін де, байламды да емес
(∀x)A(x, y, z) формуласы бар. Осы формуладағы у айнымалысы:
байламды
еркін
еркін емес
А формуласындағы сияқты, солай қалады
еркін де, байламды да емес
Предикаттар мынадай мәндерді алады
ақиқаттың немесе жалғандық
тек нөлдік
тек бірлік
тек екіліктер
нөлдік, бірлік, екіліктер
(∀x)A(x)≡(∃x)A(x) теңқуаттылығы қалай аталады?
терістеу арқылы кванторды тасымалдау
жақша сыртына кванторды шығару
бір атаулы кванторларды алмастыру
байламды айнымалылардың аттарын өзгерту
еркін айнымалылардың аттарын өзгерту
Келесі символдардың қайсысы предикаттар логикасының логикалық символдары болады?
¬,→
∀,∃
x_1,x_2,…,x_n
∞,∅
∧,∀
Математикалық индукцияның дұрыс тұжырымын табыңыз?
Егер база шын болса және индукциялық қадам дұрыс болса, онда мәлімдеме барлық натурал сандар үшін жарамды
Егер база жалған болса, онда мәлімдеме барлық натурал сандар үшін жарамды
Егер индукциялық қадам дұрыс болса, онда базаны төмендетуге болады
Егер база шын болса, онда дәлел қажет емес
Егер индукциялық қадам жалған болса, онда мәлімдеме барлық натурал сандар үшін жарамды
A және B жиындарының айырымының анықтамасы қандай?
A жиынына тиісті, бірақ B жиынына тиісті емес элементтерден ғана тұратын жиын
B жиынына тиісті, бірақ A жиынына тиісті емес элементтерден ғана тұратын жиын
A жиынына да B жиынына тиісті элементтерден тұратын жиын
A және B элементтерін біріктіретін жиын
A және B қиылысуына тең жиын
Кез келген A, B және C жиындары үшін жиындарды біріктірудің дұрыс қасиетін табыңыз?
Ассоциативтілік: (A ∪ B) ∪ C = A ∪ (B ∪ C)
Коммутативтілік: A ∪ (B ∩ C) = (A ∪ B) ∩ C
Дистрибутивтілік: A ∪ (B ∪ C) = (A ∪ B) ∩ (A ∪ C)
Идемпотенттілік: A ∪ A = A
Абсорбция: A ∪ (A ∩ B) = A
A және B жиындарының симметриялы айырымы дегеніміз не?
Элементтері не тек қана A жиынына, не тек қана B жиынына тиісті болатын элементтерден тұратын жиын
Элементтері A жиынына да B жиынына да тиісті болатын элементтерден тұратын жиын
Элементтері A жиынына тиісті, бірақ B жиынына тиісті емес болатын элементтерден тұратын жиын
Элементтері A жиынына тиісті емес, B жиынына тиісті болатын элементтерден тұратын жиын
Мына теңдіктердің қайсысы жиындар үшін дистрибутивтік заң болып табылады?
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
A ∩ (B ∩ C) = (A ∩ B) ∩ C
A ∪ (B ∪ C) = (A ∪ B) ∪ C
A ∩ (B ∪ C) = (A ∩ B) ∩ (A ∪ C)
Егер U - әмбебап жиын, ал A ⊆ U болса, онда келесі теңдіктердің қайсысы дұрыс?
A ∪ (U \ A) = U
A ∩ (U \ A) = U
A ∪ (U \ A) = A
A ∩ (U \ A) = A
U \ (A ∪ (U \ A)) = A
{Aₙ} жиындарының шексіз тізбегінің қиылысуы үшін қандай тұжырым дұрыс?
n=1⋂∞An⊆Ak кез-келген k үшін
Aₖ ⊆ ⋂ₙ₌₁^∞ Aₙ кез-келген k үшін
n=1⋂∞An=∅ әрқашан
n=1⋂∞An=n=1⋃∞An
n=1⋂∞An⊇Ak кез-келген k үшін
Қандай жағдайда A және B жиындарының симметриялық айырымы A жиыны болып табылады?
Егер B ⊆ A
Егер A ⊆ B
Егер A = B
Егер A ∩ B = ∅
Егер A ∪ B = A
Екі жиынның қиылысын толықтыру үшін қандай тұжырым дұрыс?
U \ (A ∩ B) = (U \ A) ∪ (U \ B)
U \ (A ∩ B) = (U \ A) ∩ (U \ B)
U \ (A ∩ B) = A ∪ B
U \ (A ∩ B) = A ∩ B
U \ (A ∩ B) = (U \ A) ∩ B
Егер A және B ақырлы жиындар болса, онда олардың бірігуінің қуаты қалай анықталады?
|A ∪ B| = |A| + |B| − |A ∩ B|
|A ∪ B| = |A| + |B|
|A ∪ B| = |A| − |B|
|A ∪ B| = |A ∩ B|
|A ∪ B| = |A| · |B|
Төмендегі тұжырымдардың қайсысы функцияның анықтамасы болып табылады?
Анықтау облысының әрбір элементіне мәндер облысының жалғыз элементі сәйкес келетін бейнелеу
Анықтау облысының әрбір элементіне мәндер облысының бірнеше элементі сәйкес келетін бейнелеу
Анықтау облысы мәндер облысына тең болатын бейнелеу
Қосу және көбейту операцияларын сақтайтын бейнелеу
Мәндер облысының әр элементіне анықтау облысындағы әр элемент сәйкес келетін бейнелеу
Инъективті функция дегеніміз не?
Анықтау облысының әртүрлі элементтері мәндер облысының әртүрлі элементтеріне бейнеленетін функция
Анықтау облысының барлық элементтері бірдей мәнге бейнеленетін функция
Анықтау облысы мәндер облысына тең болатын функция
Мәндердің тек бір бөлігі үшін кері болатын функция
егер f(a) = f(b) болса, онда a = b шарты қанағаттандыратын функция
Сюръективті бейнелеу дегеніміз не?
Мәндер облысының әрбір элементінің анықтау облысында түпбейнесі болады
Анықтау облысының әрбір элементінің мәндер облысында түпбейнесі болады
Алгебраның құрылымын сақтайтын бейнелеу
Кері бейнелеуі бар бейнелеу
a үшін f(a)=a шартын қанағаттандыратын бейнелеу
Функцияның биективтілігі нені білдіреді?
Функция инъективті де, сюръективті де
Функция инъективті, сюръективті емес
Функция инъективті де, сюръективті де болып табылады
Функция кері бейнелеуі бар, бірақ арифметикалық амалдарды сақтамайды
Функция бір жиынды екіншісіне өзгеріссіз бейнелейді
Симметриялық, рефлексивті және транзитивті болатын қатынас қалай аталады?
Эквивалентті қатынас
Реттік қатынас
Антисимметриялық қатынас
Топологиялық қатынас
Функционалдық қатынас
Екі жиынның қосындылары мен ерекшеліктерінің формуласы қандай?
|A ∪ B| = |A| + |B| − |A ∩ B|
|A ∪ B| = |A| + |B| + |A ∩ B|
|A ∪ B| = |A| − |B|
|A ∪ B| = |A| · |B|
|A ∪ B| = |A| / |B|
Булева алгебрасы дегеніміз не?
және, немесе және теріске шығару операцияларымен көптіктен тұратын алгебралық құрылым
Натурал сандарға негізделген алгебралық жүйе
Нақты функцияларды зерттейтін жүйе
Сызықтық түрлендіруді сипаттайтын құрылым
Комплексті сандарға негізделген алгебралық жүйе
Келесі теңдіктердің қайсысы де Морганның булъ алгебрасындағы заңы болып табылады?
¬(A ∧ B) = (¬A) ∨ (¬B)
¬(A ∧ B) = (¬A) ∧ (¬B)
¬(A ∨ B) = (¬A) ∨ (¬B)
¬(A ∨ B) = A ∧ B
¬(A ∧ B) = A ∨ B
Буль алгебрасындағы идемпотенттілік дегеніміз не?
А ∧ А = А и А ∨ А = А
А ∧ ¬А = А
А ∨ ¬А = 0
А ∧ А = 0
А ∨ А = 1
Булъ алгебрасы үшін дистрибутивтіліктің қандай қасиеті дұрыс?
A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
A ∧ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
A ∨ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
A ∧ (B ∨ C) = (A ∨ B) ∧ (A ∧ C)
Бул айнымалысының мәнін қарама-қарсы мәнге өзгертетін операция не деп аталады?
Терістеу
Конъюнкция
Дизъюнкция
Импликация
Эквиваленция
Булъ алгебрасындағы нөлдік және жеке элементтер үшін келесі тұжырымдардың қайсысы дұрыс?
нөлдік элемент - барлық элементтермен қосылғанда сол элементті өзгертпейтін элемент, жеке элемент- барлық элементтермен қосылғанда әрқашан 1 шығатын элемент
жеке элемент -барлық элементтермен қосылғанда сол элементті өзгертпейтін элемент, нөлдік элемент - барлық элементтермен қосылғанда әрқашан 1 шығатын элемент
0 және 1 барлық операцияларға қатысты нейтральды элемент болып табылады
0 конъюнкцияға қатысты нейтральды, 1 - дизъюнкцияға қатысты
0 және 1 булъ алгебрасында бейтарап рөл атқармайды
Логикалық пікір дегеніміз не?
Әрқашан ақиқат болатын тұжырым
Әрдайым жалған болатын тұжырым
Логикалық мәні жоқ тұжырым
Субъективті пікірге байланысты тұжырым
Ақиқат немесе жалған болуы мүмкін тұжырым
Келесі сөздердің қайсысы тавтология болып табылады?
A V ¬A
A ∧ ¬A
A → ¬A
A ∧ A
A → A
Логикадағы қайшылық дегеніміз не?
Әрқашан жалған болатын пікір
Әрқашан шындық болатын пікір
Шындықтың тұмпатына байланысты болатын пікір
Айнымалыларды қамтитын пікір
Тексеруге келмейтін пікір
Шындықғы кіріс айнымалыларының мәніне байланысты болатын тұжырым не деп аталады?
Контингенттік пікір
Тавтология
Противоречие
Баламалы пікір
Декарттық пікір
Пікірлердің эквиваленциясы нені білдіреді?
Екі пікірдің де ақиқаттық кестесі бірдей
Бір сөз әрқашан ақиқат болса, екіншісі жалған
Пікірлер өзара қарама-қайшы болып табылады
Пікірлер бір-бірінен тәуелсіз
Пікірлердің мағынасы әртүрлі, бірақ формасы бірдей
Төмендегі тұжырымдардың қайсысы импликацияны сипаттайды?
A–ақиқат, B жалған болғанда мәні жалған, ал қалған жағдайда ақиқат болатын
A және B бір уақытта ақиқат болатын
A ақиқат болады, егер B ақиқат болса ғана
Егер A болса, онда B; A жалған, ал B ақиқат болғанда ақиқат
A жалған болады, егер B жалған болса ғана
A → B импликациясының қарама-қарсылығы қандай?
¬B → ¬A
B → A
¬A → ¬B
A → ¬B
¬A → B
Қандай тұжырым логикалық нәтижесінің мысалы болып табылады?
A ақиқат болса, B ақиқат, ал B ақиқат болса, C ақиқат, демек A → C
A жалған болса, B ақиқат
A ақиқат болса, B жалған болады
A және B ақиқат болса, C жалған.
Егер A ақиқат болса, B-ға қарамастан C ақиқат
Логикалық тұрақты дегеніміз не?
Өз мәнін өзгертетін айнымалы
Логикалық көбейту амалы
Белгісіздікті білдіретін таңба
Мәтінмәнге тәуелді элемент
Логикалық жүйенің бір тұрақты мәнді қабылдайтын элементі (ақиқат немесе жалған)
A ∧ (A ∨ B) = A теңдігі логиканың қай заңымен өрнектеледі?
Абсорбция заңы
Дистрибутивті заң
Коммутативтік заң
Идемпотенттік заң
де Морган заңы
Қос терістеу заңы нені көрсетеді?
¬(¬A)=A
¬A =A
¬(A ∧ B)= A ∨ B
¬(A ∨ B)= A ∧ B
¬(¬A) = ¬A
A ∨ B = B ∨ A екенін көрсететін заң қалай аталады?
Коммутативтік заң
Дистрибутивті заң
Ассоциативті заң
Абсорбция заңы
де Морган заңы
Логикада дистрибутивтілік заңы?
A ∧ (B ∨ C)= (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C)=(A ∨ B) ∧ (A ∨ C)
A ∧ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
A ∨ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)
A ∧ (B ∨ C) = (A ∨ B) ∧ (A ∧ C)
Қандай логика заңы алғышартты теріске шығарудан қорытынды шығаруға мүмкіндік береді?
Контрапозиция заңы
Коммутативтілік заңы
Ассоциативтілік заңы
Абсорбция заңы
Қос терістеу заңы
Үшінші заң нені бекітеді?
Кез келген мәлімдеме не дұрыс, не жалған
Мәлімдеме бір мезгілде ақиқат және жалған болуы мүмкін
Әрқашан ақиқат пен өтірік арасында үшінші мән бар
Егер терiс пiкiр жалған болса, пiкiр дұрыс
Бірде-бір мәлімдемені ақиқат деп айқындау мүмкін емес
A → B = ¬B → ¬A тең деп аталатын заң қандай?
контрапозиция
Коммутативтілік
Дистрибутивтілік
Ассоциативтілік
Абсорбция
Логикада идемпотенттілік заңы?
A ∨ A = A жане A ∧ A = A
A ∨ A = A,бірақ A ∧ A ≠ A
A ∧ A = A, бірақA ∨ A ≠ A
A ∧ A = A ∧ A
A ∨ A = A ∧ A
Логика заңдарының қайсысы A ∨ (¬ A ∧ B)= A ∨ B деп дәлелдейді?
Жұтылу заңы
Дистрибутивтілік заңы
Коммутативтілік заңы
Контрапозиция заңы
Қос терістеу заңы
Логикада ассоциативтілік заңын көрсетіңіз?
(A ∨ B) ∨ C = A ∨ (B ∨ C) жане (A ∧ B) ∧ C = A ∧ (B ∧ C)
A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C)
A ∨ A = A
A → B = ¬B → ¬A
¬(A ∧ B) = ¬A ∨ ¬B
Ақиқат кестесі қандай пікір үшін әрқашан тура екі жолдан тұрады?
бір булъ айнымалылығы пікір үшін
Екі булъ айнымалылығы пікір үшін
нөлдік булъ айнымалылығы пікір үшін
үш булъ айнымалылығы пікір үшін
төрт булъ айнымалылығы пікір үшін
A → B импликациясы үшін шындық кестесі нені көрсетеді?
жалған тек A дұрыс, ал B жалған болғанда ғана
Ақиқат тек A ақиқат, ал B жалған болғанда ғана
Барлық қалған жағдайларда жалған
Ақиқат тек A және B екеуі де жалған болғанда ғана
Ақиқат тек A және B бір мезгілде ақиқат болғанда ғана
Импликацияның ақиқатттық кестесіне сәйкес келетін ақиқаттылық кестесі қандай?
¬A ∨ B
A ∨ ¬B
A ∧ B
¬A ∧ B
A → ¬B
Күрделі сөйлемнің ақиқаттылығы кестесінде қорытынды мәндері бар баған нені көрсетеді?
Айнымалылардың әрбір комбинациясы үшін бүкіл сөйлемнің ақиқат мәндері
Кестедегі нақты мәндер саны
Айнымалылар мәндерінің сомасы
Сөздің логикалық күрделілігі
Логикалық операциялардың жүру тәртібі
Ақиқат кестесінде екі күй қосқышы ретінде көрсетілетін қарапайым логикалық функцияға қандай операция сәйкес келеді?
Терістеу
Конъюнкция
Дизъюнкция
Импликация
Эквиваленция
Келесі мәлімдемелердің қайсысын ақиқат кестесінің көмегімен тексеруге болады??
Екі пікірдің логикалық эквиваленттілігін
Сан қатардың жинақтылығын
Графтағы ішкі графтың болуы
Математикалық индукцияның дұрыстығы
Ақырлы жиынның қуаты
Күрделі логикалық сөздің ақиқат кестесін талдауға не мүмкіндік береді?
Пікірдің ақиқаттылығын, жалған, тавтологиялық немесе қарама-қайшылығын
Логикалық функцияның сандық мәні
Пікірді геометриялық түсіндіру
Теңдеудің алгебралық шешімі
Қосу және көбейту операцияларының тәртібі
Келесі тұжырымдардың қайсысы A → B импликациясын дұрыс анықтайды?
А дұрыс, ал В жалған болғанда ғана жалған болатын пікір
A және B бір мезгілде ақиқат болғанда ғана ақиқат пікір
Барлық жағдайларда шындыққа жанаспайтын пікір
Барлық жағдайларда жалған пікір
А жалған болғанда ғана ақиқат болатын пікір
Келесі теңдіктердің қайсысы A → B импликациясына логикалық эквивалентті болып табылады?
¬A ∨ B
A ∨ ¬B
A ∧ B
¬A ∧ B
A ∧ ¬B
Екі пікірдің логикалық эквиваленттілігі дегеніміз не?
Екі пікірдің де айнымалылардың барлық мүмкін комбинациялары үшін ақиқаттылық мәндері бірдей
Бір сөз әрқашан ақаиқат, ал екіншісі әрқашан жалған
Пікірлер өзара қарама-қайшы болып табылады
Пікірлерде әртүрлі айнымалылар саны бар
Пікірлер бір мезгілде ақиқат бола алмайды
Терiске шығару және дизъюнкция арқылы A → B импликациясы қалай жазылады?
¬A ∨ B
A ∨ ¬B
¬A ∧ B
A ∧ ¬B
A ∧ B
Келесі формулалардың қайсысы қос импликацияның үлгісі болып табылады (эквивалентция) A ⇔ B?
(A → B) ∧ (B → A)
(A → B) ∨ (B → A)
¬(A → B) ∧ ¬(B → A)
¬(A → B) ∨ ¬(B → A)
A ∧ B
Келесі тұжырымдардың қайсысы импликация мен контрапозиция арасындағы эквиваленттілікті көрсетеді?
A → B ≡ ¬B → ¬A
A → B ≡ B → A
A → B≡¬A → ¬B
A → B≡ A → ¬B
A → B ≡ ¬A → B
Алғы шарттан қорытындыға көшу үшін қандай дәлелдеу әдістері импликацияны қолдануға сүйенеді?
Қарама-қарсы дәлел
Индукция бойынша дәлел
Тікелей дәлел
Контрапозиция
Мысалдар пайдаланылған дәлел
Келесі тұжырымдардың қайсысы логикалық импликацияның формальды анықтамасы болып табылады?
Егер A ақиқат болса, онда B ақиқат болуы тиіс, әйтпесе импликация жалған
Егер B шынайы болса, онда A шынайы болуы тиіс, әйтпесе импликация жалған
Егер A жалған болса, онда B міндетті түрде жалған
Егер A және B бір мезгілде жалған болса, онда импликация дұрыс
Егер A және B бір мезгілде дұрыс болса, онда импликация жалған
Екі күрделі пікір арасындағы логикалық эквиваленттілік дегеніміз не?
Олардың ақиқат кестелерінің сәйкестігі
Пікір құрылымындағы айырмашылық
Өзара тәуелділіктің болмауы
Логикалық операторлар санының баламалылығы
Пайдаланылатын айнымалылардың сәйкестігі
Керісінше болжау және қайшылықты табу арқылы дәлелдеу әдісі қандай деп аталады?
Қарама-қарсы дәлел
Индукция бойынша дәлел
Тікелей дәлел
Контрапозиция бойынша дәлел
Баламасының дәлелі
Аксиомадан теоремаға дейінгі логикалық қорытындылардың бірізділігін сипаттайтын құрылым қандай деп аталады?
Дәлелдеу
Лемма
Гипотеза
Түзету
Аксиома
Дәлелдеулер теориясында аксиома дегеніміз не?
Дәлелдемесіз қабылданатын базалық тұжырым
Басқа пайымдаулар негізінде дәлелденген пайымдау
Теореманың логикалық сандары
Әрқашан жалған болатын пікір
Дәлелдеуді талап ететін болжам
Негізгі жағдай мен индукциялық өту қандай дәлелдеу әдісін қолданады?
Математикалық индукция
Қарама-қарсы
Тікелей дәлел
Баламасы бойынша дәлелдеме
Контрапозиция бойынша дәлел
Математикалық дәлелдер контексіндегі лемма дегеніміз не?
Теоремамен байланысты емес жеке дәлелдемелер
Болжамды жоққа шығаратын тұжырым
Неғұрлым жалпы теореманы дәлелдеу үшін пайдаланылатын аралық тұжырым
Дербес теорема болып табылатын түпкілікті тұжырым
Дәлелдеуді талап ететін аксиома
Күрделі тұжырымның неғұрлым қарапайым тұжырымдарға жіктелуін пайдаланатын дәлелдеуді не деп аталады?
Бөліктеп дәлелдеу
Қарама-қарсы
Индукция бойынша дәлелдеу
Баламаcы бойынша дәлелдеу
Жалпыдан жекеге дәлелдеу
Конструктивті дәлелдеуде не?
Нысанды құру үшін нақты мысал немесе алгоритм беретін дәлелдеу
Қарама-қарсы әдісті қолданатын
Интуитивтік пайымдауларға негізделген дәлелдеу
Конструктивтік мысал мүмкіндігін болдырмайтын дәлелдеу
Нақты конструкцияларды ұсынбайтын дәлелдеулер
A және A → B ақиқаттылығынан B ақиқаттылығы туындайтын қорытынды ережесі не деп аталады?
Модус поненс
Модус Толленс
Дедукция
Индукция
Абдукция
Келесі тұжырымдардың қайсысы индукция бойынша дәлелді дұрыс қолдану болып табылады?
Егер бекіту n = k үшін дұрыс болса, онда ол барлық n үшін автоматты түрде дұрыс
Егер бекіту n = k үшін жалған болса, онда ол n = k + 1 үшін дұрыс
Егер бекіту n = 1 үшін ақиқат болса, онда ол n = 2 үшін ақиқат
Егер бекіту n = k + 1 үшін дұрыс болса, онда ол n = k үшін дұрыс
Егер тұжырым n = k үшін дұрыс болса және оның n = k үшін ақиқаттғы n = k + 1 үшін ақиқатттыққа әкелсе, онда тұжырым барлық натурал n үшін дұрыс
Кері дәлелдеуді не сипаттайды?
Тұжырымның дұрыстығы болжанады және осыдан оның дәлелдемесі шығады
Қарама-қарсы ұйғарымның ақиқаттылығы болжанады, бұл бастапқы ұйғарымның дәлелдемесіне әкеледі
Тұжырымның ішінара ақиқаттылық болжанады, бұл оның толық дәлелденуіне әкеледі
Тұжырымның жалғандығы болжанады және қайшылық шығарылады, бұл бастапқы мәлімдеменің дұрыстығын дәлелдейді
Оның жалған екенiн автоматты түрде дәлелдейтiн тұжырымның ақиқаттығы болжанады
Математикалық индукцияны дәлелдеудің негізгі қадамдары қандай?
Индукция базасы және индукциялық қадам
Тікелей тексеру және қарсы
Гипотезаны тұжырымдау және қорытынды
Жалпы тұжырым және жеке жағдай
Тапсырманы қою және есептеу
Математикалық индукцияның негізгі қадамында не дәлелдеу керек?
Бірінші мән үшін тұжырымның дұрыстығы (әдетте n = 1)
кез-келген n үшін тұжырымның дұрыстығы
Бірінші мән үшін тұжырымның жалғандығы
Соңғы мән үшін тұжырымның дұрыстығы
Екі тізбекті мәндер үшін тұжырымның дұрыстығы
Индукциялық қадамда келесі әдістердің қайсысы пайдаланылады?
n = k-дан n = k + 1-ге өту
n = k + 1-ден n = k-ге ауысу
Барлық n үшін тікелей
Қарсы мысал
Абсурд бойынша дәлелдеме
Қандай жағдайда математикалық индукция қолданылуы мүмкін?
Натурал сандар үшін құрылған тұжырым
Нақты сандар үшін тұжырым
Комплекс сандар үшін тұжырым
n-ге тәуелді емес тұжырым үшін
Тек ақырлы жиындарға қолданылатын тұжырым үшін
Күшті индукция принципі нені білдіреді?
Дәлелде ме k + 1 үшін дәлелдеу үшін k дейінгі барлық натурал сандар үшін тұжырымдардың ақиқаттылығына негізделеді
Дәлелдеме әрбір n үшін
Индукция базасы күшті болжаммен ауыстырылады
Индукциялық қадам тікелей есептеу арқылы дәлелденеді
Тек тақ сандарға қолданылады
Келесі мысалдардың қайсысы математикалық индукцияның көмегімен жиі дәлелденеді?
Алғашқы n натурал сандар қосындысының формуласы
Пифагор теоремасы
Квадраттық теңдеулердің қасиеттері
Дифференциалды теңдеуді шешу
Факториалдың алгебралық формуласы
Математикалық индукция әдісімен дәлелдеуге қандай тұжырымдар жарамсыз?
Нақты айнымалыларға тәуелді тұжырымдар
Натурал сандар үшін құрылған тұжырымдар
Ақырлы жиындарды қамтитын тұжырымдар
Комбинаторикаға байланысты тұжырымдар
Тізбектерге қатысты тұжырымдар
Төмендегі теңдіктердің қайсысы жұтылу заңына сәйкес келеді?
A ∨ (A ∧ B) = A
A ∧ (A ∨ B) = B
A ∧ (A ∨ B) = A ∨ B
A ∨ (A ∧ B) = A ∧ B
A ∧ (A ∧ B) = B
Келесі операторлардың қайсысы бул алгебрасында базалық болып табылмайды?
Импликация
Конъюнкция
Дизъюнкция
Терістеу
Эквиваленция
ЖӘНЕ, НЕМЕСЕ және ЕМЕС операторлары арқылы F булев функциясын білдіретін ең минималды функция қандай?
Қалыпты дизъюнктивті форма
Полиномиалды форма
Экспоненциалды форма
Сызықты форма
Қалыпты конъюнктивті форма
Математикалық логиканың алғашқы ұғымы:
пікір
элемент
нукте, түзу, жазықтық
операциялар жиыны
элемент жиын
Сұраулы сөйлем математикалық логиканың зерттеу объектісі:
пікір болмайды
пікір болады
хабарлы сөйлем болады
элемент, жиын
операциялар болады
Пікірлер логикасының тілін не құрайды?
алфавит, логикалық амалдар, қосымша символдар
цифрлар, алгебралық формулалар, амалдар, таңбалар
цифрлар
сөздер
сөйлемдер
Логикалық амалдар жиынын атаңыз.
конъюнкция, дизъюнкция, импликация, терістеу, эквиваленттілік
бірігу, қиылысу, жанасу, қосылу, айырыма, диаграммалар, бейнелеулер
унарлық операция, бинарлық операция, айырым операциясы, бірігу операциясы
инъекция, сюрекция, биекция, өзара бірмәнді сәйкестік, функцияналдық байланыс
қосу, айыру, көбейту, бөлу, Пирс жебесі
Де Морган заңдарының қайсысы жиындар үшін дұрыс?
U \ (A ∪ B) = (U \ A) ∩ (U \ B)
U \ (A ∪ B) = (U \ A) ∪ (U \ B)
U \ (A ∩ B) = (U \ A) ∩ (U \ B)
U \ (A ∩ B) = A ∪ B
U \ (A ∪ B) = A ∩ B
