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