«Математикалық логика және дискретті математика» пәнінен syllabus
жүктеу/скачать 1,4 Mb.
|
| Жалпылық және бар болу кванторы
Анықтама. Берілген А пікірінің терістемесі деп А шын болғанда жалған, ал А жалған болғанда шын болатын, ┐А деп белгіленетін, «А емес» деп оқылатын пікірді айтады. Мысалы, С – «12 3-ке бөлінеді» пікірі шын. Оны |C|=Т деп жазады. Ал терістемесі - ┐С – «12 3-ке бөлінбейді» пікірі жалған болады, оны |┐C|=F деп жазады. Анықтама. Берілген пікірге оның терістемесін сәйкестікке қоятын амалды терістеу амалы деп атайды. Анықтама. Берілген А мен В пікірлерінің конъюнкциясы деп, олардың екеуі де шын болғанда ғана шын болатын, A&B деп белгіленетін, «А және В» деп оқылатын пікірді айтады. Берілген екі пікірге олардың конъюнкциясын сәйкестікке қоятын амалды конъюнкциялау амалы деп атайды. Анықтама. Берілген А мен В пікірлерінің дизъюнкциясы деп, олардың ең болмағанда біреуі шын болғанда шын болатын, АVВ деп белгіленетін, «А немесе В» деп оқыоатын пікірді айтады. Берілген екі пікірге олардың дизъюнкциясын сәйкестікке қоятын амалды дизъюнкциялау амалы деп атайды. Анықтама. Белгілі бір ретпен алынған А мен В пікірлерінің импликациясы деп, А пікірі шын, В пікірі жалған болғанда ғана жалған болатын, А→В деп белгіленетін, «А импликация В» деп оқылатын пікірді айтады. Берілген екі пікірге олардың импликациясын сәйкестікке қоятын амалды импликациялау амалы деп атайды. Анықтама. Берілген А мен В пікірлерінің биимпликациясы немесе эквиваленциясы деп олардың қатарынан екеуі де шын немесе екеуі де жалған болғанда ғана шын болатын, А↔В деп белгіленетін, «А биимпликация В» деп оқылатын пікірді айтады. Берілген екі пікірге олардың биимпликациясын сәйкестікке қоятын амалды биимпликациялау амалы деп атайды. Барлық пікірлер жиынын Р деп белгілейді. Анықтама. Пікірлер жиыны пікірлерге қолданылатын логикалық амалдар арқылы пікірлер алгебрасы деп аталады. Белгілеуі . СОӨЖ мазмұны: [3]. 210 бет, 4 жаттығу СӨЖ мазмұны: [3]. 183 бет, тапсырма 6.4.6 Әдебиет: [3]. 179 бет, тапсырма 6.4.3, 6.4.4, 6.4.7. жүктеу/скачать 1,4 Mb. Достарыңызбен бөлісу:
|