Contraposition
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
High Quality Content by WIKIPEDIA articles! In propositional logic, contraposition is a logical relationship between two propositions of material implication.In vernacular terms, this states "If P then Q", or, "If Socrates is a man then Socrates is human." In a conditional such as this, P is called the antecedent and Q the consequent. One statement is the contrapositive of the other just when its antecedent is the negated consequent of the other, and vice-versa.That is, "If not-Q then not-P", or more clearly, "If Q is not the case, then P is not the case." Using our example, this is rendered "If Socrates is not human, then Socrates is not a man." This statement is said to be contraposed to the original, and is logically equivalent to it....
ISBN: 978-6-1311-7664-7
Издательство:
Книга по требованию
Дата выхода: июль 2011