«Математикалық логика және дискретті математика» пәнінен syllabus


Анықтама. Пікірлерге қолданғанда нәтижесінде пікір беретін амалды логикалық амал дейді. Логикалық амалдар бесеу. Анықтама



бет16/39
Дата10.04.2023
өлшемі1,4 Mb.
#80989
1   ...   12   13   14   15   16   17   18   19   ...   39
Анықтама. Пікірлерге қолданғанда нәтижесінде пікір беретін амалды логикалық амал дейді.
Логикалық амалдар бесеу.
Анықтама. Берілген A пікірінің терістемесі деп A шын болғанда жалған, ал A жалған болғанда шын болатын, деп белгіленетін, «A емес» деп оқылатын пікірді айтады. Бұл анықтаманы мына таблица түрінде көрсетуге болады, оны пікірдің терістемесінің шындық таблицасы дейді:



|A|

| A|

T
F

F
T

Мысал. C – «12 3-ке бөлінеді» пікірі шын. Оны деп жазады. Ал терістемесі – «12 3-ке бөлінбейді» пікірі жалған болады, оны деп жазады. Әдетте, пікірді терістегенде оның баяндауышын терістейді.


Анықтама.Берілген пікірге оның терістемесін сәйкестікке қоятын амалды терістеу амалы деп атайды. Пікірлерге қолданылатын терістеу амалы унар (1 орынды) амал.
Анықтама. Берілген А мен В пікірлерінің конъюнкциясы деп, олардың екеуі де шын болғанда ғана шын болатын, деп белгіленетін, «А және В» деп оқылатын пікірді айтады. Кейде «А конъюнкция В» деп те оқиды. Анықтаманы таблица түрінде былай көрсетуге болады:









T
T
F
F

T
F
T
F

T
F
F
F

Мысал. А – «6 тақ сан» – В – «8 2» – ,


конъюнкциясы – «6 тақ сан және 8 2» жалған пікір болады, .
Анықтама. Берілген екі пікірге олардың конъюнкциясын сәйкестікке қоятын амалды конъюнкциялау амалы деп атайды. Конъюнкциялау амалы пікірлер жиынында бинар (2орынды) амал болады.
Анықтама. Берілген А мен В пікірлерінің дизъюнкциясы деп, олардың ең болмағанда біреуі шын болғанда шын болатын, деп белгіленетін, «А немесе В» деп оқылатын пікірді айтады. Кейде «А дизъюнкция В» деп те оқиды. Шындық таблицасы мына түрде болады:







T
T
F
F

T
F
T
F

T
T
T
F

СОӨЖ мазмұны: [4]. 61 бет. №№ 7, 8.
СӨЖ мазмұны: [4]. 65 бет. №№ 9, 11.
Әдебиет: [4]. 58 бет. №№ 2, 3, 5, 6.


Достарыңызбен бөлісу:
1   ...   12   13   14   15   16   17   18   19   ...   39




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет