noun
қарама-қарсы теріс
In logic, the contrapositive of a conditional statement "If P, then Q" is "If not Q, then not P," which is logically equivalent to the original statement.
Логикада шартты тұжырымның "Егер P болса, онда Q" қарама-қарсы терісі — "Егер Q болмаса, онда P болмайды", бұл бастапқы тұжырыммен логикалық түрде тең.