The contraposition to the predicate is such a type of direct reasoning, in which the subject of the conclusion is the notion that contradicts the predicate.
(S → P) ↔ (¬Р → ¬S)
The specified sequence of given expressions does not satisfy this definition.
p(x) is false should be considered in the contraposition.
Comments
Leave a comment