Графтар теориясының элементтері
жүктеу/скачать 1,03 Mb. Pdf көрінісі
|
vm 14
|
Тұжырым деп дәл осы уақытта ақиқаттығы немесе жалғандығы туралы айтуға болатын хабарлы сөйлем айтылады. Мысалы 2.1.1 - «Бес плюс екі – төрт» тұжырымы - жалған; тұжырым «Рубль – Ресей валютасы» - ақиқат. Анықтама. Қарапайым (элементар) тұжырым бөлінбейтін бүтін ретінде қарастырылады. Белгіленуі А, В, С,...,Р ,…; күрделі (құрмалас) тұжырым деп қарапайым логикалық байланыстар (операциялар) көмегімен құралған тұжырым айтылыды. Негізгі логикалық қисаптар (операциялар): а) конъюнкция (операция «және», логикалық көбейту). P және Q тұжырымдарының конъюнкциясы деп (белгіленуі , , , & P Q P Q PQ P Q , оқылуы « Р және Q ») екеуі де ақиқат болғанда ақиқат, екеуі де жалған болғанда жалған болатын тұжырым айтылады; б) дизъюнкция (операция «немесе», логикалық қосынды). P және Q тұжырымдарының дизъюнкциясы деп (белгіленуі , P Q P Q , оқылуы « Р немесе Q ») екеуі де жалған болғанда жалған болатын, қалған жағдайда ақиқат болатын тұжырым айтылады; в) теріске шығару (инверсия). P тұжырымының теріске шығаруы деп (белгіленуі , P P , оқылуы « Р емес») P ақиқат болғанда жалған, ал P жалған болғанда ақиқат болатын тұжырым айтылады; г) импликация (логикалық салдар). P және Q тұжырымдарының импликациясы деп (белгіленуі Q P , Q P , оқылуы «Егер Р онда Q », « Р - 19 дан Q шығады») P тұжырымы ақиқат, Q тұжырымы жалған болғанда жалған болатын, қалған жағдайда ақиқат болатын тұжырым айтылады д) эквиваленция (эквиваленттілік). P және Q тұжырымдарының эквиваленциясы деп (белгіленуі ~ , P Q , P Q P Q , оқылуы « Р Q-ге эквивалентті», « Р тек сол жағдайда, егер Q ») екеуі де болғанда немесе екеуі де жалған болғанда ақиқат болатын тұжырым айтылады. жүктеу/скачать 1,03 Mb. Достарыңызбен бөлісу:
|