Search results
Results From The WOW.Com Content Network
In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form P → Q {\displaystyle P\rightarrow Q} , the inverse refers to the sentence ¬ P → ¬ Q {\displaystyle \neg P\rightarrow \neg Q} .
The only situation where one may deny the antecedent would be if the antecedent and consequent represent the same proposition, in which case the argument is trivially valid (and it would beg the question) under the logic of modus tollens. A related fallacy is affirming the consequent.
In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics.
In regard to the "A" proposition this is circumvented in the symbolism of modern logic by the rule of transposition, or the law of contraposition. In its technical usage within the field of philosophic logic, the term "contraposition" may be limited by logicians (e.g. Irving Copi, Susan Stebbing) to traditional logic and categorical ...
Inverse (logic), a type of conditional sentence which is an immediate inference made from another conditional sentence; Additive inverse, the inverse of a number that, when added to the original number, yields zero; Compositional inverse, a function that "reverses" another function; Inverse element
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication P → Q, the converse is Q → P.
In mathematics, the inverse function of a function f (also called the inverse of f) is a function that undoes the operation of f. The inverse of f exists if and only if f is bijective , and if it exists, is denoted by f − 1 . {\displaystyle f^{-1}.}
In the monoid of binary endorelations on a set (with the binary operation on relations being the composition of relations), the converse relation does not satisfy the definition of an inverse from group theory, that is, if is an arbitrary relation on , then does not equal the identity relation on in general.