NEW
Font size
Worksheetsдис мат логикалық амалдар
Total questions: 18
Worksheet time: 9mins
математикалық логика
математикалық әдістерді қолданып түйіндеу логикасы
оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым
пікір
оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым
математикалық әдістерді қолданып түйіндеу логикасы
логикалық теріске шығару (инверсия)
нәтижені бастапқы пікірге қарама қайшы пікірді айтады
Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің бірігуі
Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің қиылысуы
логикалық қосу (Дизъюнкция)
Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің қиылысуы
Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің бірігуі
нәтижені бастапқы пікірге қарама қайшы пікірді айтады
логикалық көбейту (конюкция)
Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің қиылысуы
Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің бірігуі
нәтижені бастапқы пікірге қарама қайшы пікірді айтады
импликация
егер .... онда және тағы басқа байланыстармен өрнектелетін операцияны айтады. егер А-ақиқат В- жалған болған жағдайда ғана жалған 0 болады қалған жағдайда 1 болады
"сонда, тек қана сонда ғана ....", "қажетті және жеткілікті" және тағы басқа байланыстармен өрнектелетін операция
оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым
эквиваленттілік
оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым
"сонда, тек қана сонда ғана ....", "қажетті және жеткілікті" және тағы басқа байланыстармен өрнектелетін операция
егер .... онда және тағы басқа байланыстармен өрнектелетін операцияны айтады. егер А-ақиқат В- жалған болған жағдайда ғана жалған 0 болады қалған жағдайда 1 болады
Шеффер функциясы
кері көбейтуді жүзеге асырады
кері қосуды жүзеге асырады
Пирс функциясы
кері көбейтуді жүзеге асырады
кері қосуды жүзеге асырады
логикалық эквивалентті (парапар) формулалар
құрамындағы әріптердің кезген ақиқаттық мәндерінің орналасуында ақиқаттық мәндері бірдей болатын (ақиқаттық кестелеріндегі соңғы бағандары бірдей) φ және ψ формулаларын атайды
егер жоғарыдағы конюкциядағы φi формулалары әріп немесе әріптердің терістерілуі
егер жоғарыдағы дизюкциядағы φi формулалары әріп немесе әріптердің терістерілуі
элементар конъюкция
"құрамындағы әріптердің кезген ақиқаттық мәндерінің орналасуында ақиқаттық мәндері бірдей болатын (ақиқаттық кестелеріндегі соңғы бағандары бірдей) φ және ψ формулаларын атайды"
егер жоғарыдағы конюкциядағы φi формулалары әріп немесе әріптердің терістерілуі
егер жоғарыдағы дизюкциядағы φi формулалары әріп немесе әріптердің терістерілуі
элементар дизюнкция
"құрамындағы әріптердің кезген ақиқаттық мәндерінің орналасуында ақиқаттық мәндері бірдей болатын (ақиқаттық кестелеріндегі соңғы бағандары бірдей) φ және ψ формулаларын атайды"
егер жоғарыдағы конюкциядағы φi формулалары әріп немесе әріптердің терістерілуі
егер жоғарыдағы дизюкциядағы φi формулалары әріп немесе әріптердің терістерілуі
дизюнкциятивті қалыпты форма(ДҚФ)
элементар конюнкциялардың ақырлы дизюнкциялары
элементар дизюнкциялардың ақырлы конюнкциялары
коньюнктивті қалыпты форма(КҚФ)
элементар конюнкциялардың ақырлы дизюнкциялары
элементар дизюнкциялардың ақырлы конюнкциялары
претикаттар
сөйлемдегі баяндауышты білдіреді, сөйлемдегі зат есімнің қасиетті жөніндегі мәлімет береді. Құрамындағы айнымалының әрбір мәніне сәйкес жаңа пікір білдіретін R(x) бір орындыны айтамыз
құрамындағы экспорт х1, x2, ... , xn айнымалыларына нақты мәндер бергенде пікірге айналатын R(х1, x2, ... , xn) өрнегін айтады
n орынды претикат
"құрамындағы экспорт х1, x2, ... , xn айнымалыларына нақты мәндер бергенде пікірге айналатын R(х1, x2, ... , xn) өрнегін айтады"
сөйлемдегі баяндауышты білдіреді, сөйлемдегі зат есімнің қасиетті жөніндегі мәлімет береді. Құрамындағы айнымалының әрбір мәніне сәйкес жаңа пікір білдіретін R(x) бір орындыны айтамыз
жалпылау кванторы
"кез келген х" "барлық х" "әрбір х"
Белгілеуі: (∀х) немесе жақшасыз ∀ х
"... орындалатындай х табылады" немесе "кейбір х..."
Белгілеуі: (∃х) немесе жақшасыз ∃ х.
табылу кванторы
"... орындалатындай х табылады" немесе "кейбір х..."
Белгілеуі: (∃х) немесе жақшасыз ∃ х.
"... орындалатындай х табылады" немесе "кейбір х..."
Белгілеуі: (∃х) немесе жақшасыз ∃ х.
