zákon kontrapozície
- zákon logiky, podľa ktorého ak z určitého súdu A vyplýva súd B, potom z negácie súdu B vyplýva negáciu súdu A ( L53;575).