Дәріс тақырыбы және тезистер Сағат көлемі


Айтылымдарға қолданылатын амалдар



бет5/11
Дата22.12.2023
өлшемі265,87 Kb.
#198401
1   2   3   4   5   6   7   8   9   10   11
Байланысты:
ДӘРІС ТЕЗИСТЕРІ

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

1

№6 дәріс



Қарастырылатын сұрақтар (дәріс жоспары):
1. Негізгі логикалық эквиваленттіліктер (логика заңдары).
2. Дизъюнктивті және конъюнктивті формалар.
3. Логикалық амалдардың толық жүйесі.
Дәрістің қысқаша мазмұны:


Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   10   11




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

    Басты бет