(лат contrapositio — противопоставление) — закон логики, согласно к-рому если из нек-рого высказывания А следует высказывание 5, то из отрицания высказывания В следует отрицание высказывания А.