дис мат логикалық амалдар

математикалық логика

• математикалық әдістерді қолданып түйіндеу логикасы

• оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым

пікір

• оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым

• математикалық әдістерді қолданып түйіндеу логикасы

логикалық теріске шығару (инверсия)

• нәтижені бастапқы пікірге қарама қайшы пікірді айтады

• Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің бірігуі

• Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің қиылысуы

логикалық қосу (Дизъюнкция)

• Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің қиылысуы

• Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің бірігуі

• нәтижені бастапқы пікірге қарама қайшы пікірді айтады

логикалық көбейту (конюкция)

• Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің қиылысуы

• Х ақиқаттың жиынындағы х және У ақиқаттық жиындағы у пікірінің бірігуі

• нәтижені бастапқы пікірге қарама қайшы пікірді айтады

импликация

• егер .... онда және тағы басқа байланыстармен өрнектелетін операцияны айтады. егер А-ақиқат В- жалған болған жағдайда ғана жалған 0 болады қалған жағдайда 1 болады

• "сонда, тек қана сонда ғана ....", "қажетті және жеткілікті" және тағы басқа байланыстармен өрнектелетін операция

• оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым

эквиваленттілік

• оқиғаның ақиқат немесе жалған екендігін айтатын кез келген тұжырым

• "сонда, тек қана сонда ғана ....", "қажетті және жеткілікті" және тағы басқа байланыстармен өрнектелетін операция

• егер .... онда және тағы басқа байланыстармен өрнектелетін операцияны айтады. егер А-ақиқат В- жалған болған жағдайда ғана жалған 0 болады қалған жағдайда 1 болады

Шеффер функциясы

• кері көбейтуді жүзеге асырады

• кері қосуды жүзеге асырады

Пирс функциясы

• кері көбейтуді жүзеге асырады

• кері қосуды жүзеге асырады

логикалық эквивалентті (парапар) формулалар

• құрамындағы әріптердің кезген ақиқаттық мәндерінің орналасуында ақиқаттық мәндері бірдей болатын (ақиқаттық кестелеріндегі соңғы бағандары бірдей) φ және ψ формулаларын атайды

• 
•