Search results
Results from the WOW.Com Content Network
Attempts at explaining the origin of the phrase go back to the mid-19th century. One explanation favoured in a letter to the editors of Notes and Queries dated 1851, is a literal interpretation of the saying, regarding possible confusion between the lowercase letters p and q in schoolwork or typesetting. [1]
In ordinary language terms, if both p and q are true, then the conjunction p ∧ q is true. For all other assignments of logical values to p and to q the conjunction p ∧ q is false. It can also be said that if p , then p ∧ q is q , otherwise p ∧ q is p .
Logical equivalence is different from material equivalence. Formulas and are logically equivalent if and only if the statement of their material equivalence is a tautology.
Equivalently, if P is true or Q is true and P is false, then Q is true. The name "disjunctive syllogism" derives from its being a syllogism, a three-step argument, and the use of a logical disjunction (any "or" statement.) For example, "P or Q" is a disjunction, where P and Q are called the statement's disjuncts.
The assertion that Q is necessary for P is colloquially equivalent to "P cannot be true unless Q is true" or "if Q is false, then P is false". [9] [1] By contraposition, this is the same thing as "whenever P is true, so is Q". The logical relation between P and Q is expressed as "if P, then Q" and denoted "P ⇒ Q" (P implies Q).
The rule states that P implies Q is logically equivalent to not-or and that either form can replace the other in logical proofs. In other words, if P {\displaystyle P} is true, then Q {\displaystyle Q} must also be true, while if Q {\displaystyle Q} is not true, then P {\displaystyle P} cannot be true either; additionally, when P {\displaystyle ...
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
material conditional (material implication) implies, if P then Q, it is not the case that P and not Q propositional logic, Boolean algebra, Heyting algebra: is false when A is true and B is false but true otherwise.