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