Konverzija implikacije

From Wikipedia

Kontrapozicija implikacije je implikacija oblika "¬". p "¬. e q. Ona odgovara rečenici ako nije P onda nije Q. Istinitosna tablica je isti kao kod implikacije sudova