5. Анықтама. Эквиваленция А мен В тұжырымының ақиқаттық мәндері бірдей болғанда, мәндері ақиқат, әр түрлі болғанда (А,В) жалған болатын тұжырым эквивалентті тұжырым деп аталады. Белгілеулері: А В; А В; А В; А эквивалентті В-ға ; Егер тек В болғанда А ; А мен В бір мәнді, А мен В сонда ғана ақиқат, егер А,В түжырымдары ның екеуі де не ақиқат, не жалған болса. болып оқылады.
6 . Анықтама. 2-нің модулі бойынша қосу. Бір мәнді емес тұжырым. («немесе»-ні терістеу,антиэквиваленция, 2–ң модулі бойынша қосу). А-мен В- ң ақиқаттық мәндері бірдей болмаса мәні ақиқат, керісінше бірдей болса жалған болатын тұжырым бір мәнді емес тұжырым деп аталады.
А  В, А В,А В болып белгіленеді ( не А, не В болып оқылады).
Шеффер штрихы және Пирс стрелкасы
7.Анықтама  Шеффер штрихы деп аталады  (антиконъюнкция).
8 . Анықтама. А В–Пирс стрелкасы (антидизъюнкция) 
Достарыңызбен бөлісу: |
