Импликация және эквиваленция

4. Анықтама.Импликация (логика). Екі А мен В тұжырымдарының импликациясы деп А–ақиқат, В жалған болғанда мәні жалған, ал қалған жағдайда ақиқат болатын тұжырымды айтамыз.Операция (Егер… онда) белгімен белгіленеді. А В, А В ( егер А болса, онда В) (А дан В) болып оқылады.Мұнда А–тұжырымының алғы шарты депал В қорытындысы деп аталады.

5. Анықтама. Эквиваленция А мен В тұжырымының ақиқаттық мәндері бірдей болғанда, мәндері ақиқат, әр түрлі болғанда (А,В) жалған болатын тұжырым эквивалентті тұжырым деп аталады. Белгілеулері: А В; А В; А В; А эквивалентті В-ға ; Егер тек В болғанда А ; А мен В бір мәнді, А мен В сонда ғана ақиқат, егер А,В түжырымдары ның екеуі де не ақиқат, не жалған болса. болып оқылады.

6. Анықтама.2-нің модулі бойынша қосу. Бір мәнді емес тұжырым. («немесе»-ні терістеу,антиэквиваленция, 2–ң модулі бойынша қосу). А-мен В- ң ақиқаттық мәндері бірдей болмаса мәні ақиқат, керісінше бірдей болса жалған болатын тұжырым бір мәнді емес тұжырым деп аталады.

А В, А В,А В болып белгіленеді ( не А, не В болып оқылады).