Дәрістер тезистері

Пікірлер логикасының негізгі логикалық байланыстырушылары

жүктеу 324,07 Kb. бет 5/14 Дата 15.12.2023 өлшемі 324,07 Kb. #44759

Навигация по данной странице:

• Пікірлерге қолданылатын амалдар 1 . Анықтама.
• 2 .Анықтама
• 3 . Анықтама.
• Импликация және эквиваленция 4 . Анықтама.

Пікірлер логикасының негізгі логикалық байланыстырушылары. Табиғи қарапайым сөйлемдерден құрмалас сөйлемдер құру үшін “ және “, “ немесе “, “егер … онда “, “ сонда … тек сонда ғана “ сияқты шылаулар қолданылатындығы белгілі. Пікірлер теориясында да элементар пікірлерден күрделі пікірлер құрастыруға болады. Айталық P,Q логикалық пікірлер болсын. Оларға кестедегідей логикалық байланыстар қолданылады: Логикалық байланыстырушылар арқылы құрылған құрама пікірлердің ақиқат не жалғандығы, оның құрамына кіретін қарапайым пікірлердің ақиқаттық мәндерімен анықталады. Пікірлерге қолданылатын амалдар 1 . Анықтама. Терістеу (инверциясы) А-ның инверсиясы деп А жалған болса мәні ақиқат, ақиқат болса жалған болатын пікірді айтады. болып белгіленеді, А емес, А деген дұрыс емес болып оқылады. Конъюнкция мен дизъюнкция. Айталық, А мен В кез келген пікірлер болсын. Пікірдің ақиқат белгісін а әрпімен, жалған белгісін ж әрпімен белгілейік. 2 .Анықтама. А мен В Пікірлердің коньюнкциясы деп (логикалық көбейтінді немесе «және» операциясы) А мен В екеуі де ақиқат болса мәні ақиқат, әйтпесе (екеуі де жалған болса ) жалған болатын пікірді айтамыз. Конъюнкция , ,& белгілерімен белгіленеді. А&В; А В; А В. 3 . Анықтама. А мен В дизъюнкциясы деп мәні А мен В пікірінің екеуі де жалған болғанда мәні жалған, ал қалған жағдайларда ақиқат болатын айтылымды айтамыз. Дизъюнкция белгісімен белгіленеді. А В; А немесе В – болып оқылады. Сонымен «және», «немесе» логикалық байланыстырушылар арқылы байланысқан Пікірлер құрама пікірлер болады. «Және», «немесе» логикалық байланыстырушылар арқылы жаңа құрама Пікірлер алуды логикалық операция дейміз. Импликация және эквиваленция 4 . Анықтама. Импликация (логика). Екі А мен В пікірлерінің импликациясы деп А–ақиқат, В жалған болғанда мәні жалған, ал қалған жағдайда ақиқат болатын пікірді айтамыз. Операция (Егер… онда) белгімен белгіленеді. А В, А В ( егер А болса, онда В) (А дан В) болып оқылады. Мұнда А – пікірдің алғы шарты деп ал В қорытындысы деп аталады. жүктеу 324,07 Kb. Достарыңызбен бөлісу:

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