Kontrapositiivne
Kontrapositiivne is a concept in logic and philosophy related to conditional statements. A conditional statement, often expressed in the form "If P, then Q" (symbolized as P → Q), asserts that if the premise P is true, then the conclusion Q must also be true. The contrapositive of this statement is "If not Q, then not P" (symbolized as ¬Q → ¬P).
The crucial property of the contrapositive is that it is logically equivalent to the original conditional
For example, consider the statement "If it is raining, then the ground is wet." The contrapositive of