Портал:Логика/Логичка теорема на месецот

¬(P & ¬ P)

— Принцип на непротивречност Не е дека еден исказ е вистинит и невистинит.