Implikimi

Le të jenë p dhe q dy pohime. Implikim i pohimeve p dhe q quhet pohimi, që shënohet p ⇒ q e që është i gabuar vetëm kur pohimi p është i vërtetë, kurse pohimi q i gabuar. Tabela e vlerave të vërtetësisë së implikimit p ⇒ q është 

Pohimi p quhet kusht i implikimit p ⇒ q, ndërsa pohimi q quhet përfundim i tij. 

Ekuivalenca

Ekuivalencë e pohimit p, q që shënohet p ⇔ q e që është i vërtetë vetëm kur pohimet, p, q janë që të dyja të gabuara ose të vërteta. Tabela e vërtetësisë së ekuivalencës p ⇔ q është:

Kur ekuivalenca p ⇔ q është e vërtetë pohimet p, q quhen ekuivalente.

Referenca

PetroPetraq Koncepte themelore matematike．s.l.，Vllamasi，2010．