| Basic and Derived Argument Forms | ||
|---|---|---|
| Name | Sequent | Description |
| Modus Ponens | If then ; ; therefore | |
| Modus Tollens | If then ; not ; therefore not | |
| Hypothetical Syllogism | If then ; if then ; therefore, if then | |
| Disjunctive Syllogism | Either or, or both; not ; therefore, | |
| Constructive Dilemma | If then ; and if then ; but or ; therefore or | |
| Destructive Dilemma | If then ; and if then ; but not or not ; therefore not or not | |
| Bidirectional Dilemma | If then ; and if then ; but or not ; therefore or not | |
| Simplification | and are true; therefore is true | |
| Conjunction | and are true separately; therefore they are true conjointly | |
| Addition | is true; therefore the disjunction ( or ) is true | |
| Composition | If then ; and if then ; therefore if is true then and are true | |
| De Morgan's Theorem (1) | The negation of ( and ) is equiv. to (not or not ) | |
| De Morgan's Theorem (2) | The negation of ( or ) is equiv. to (not and not ) | |
| Commutation (1) | ( or ) is equiv. to ( or ) | |
| Commutation (2) | ( and ) is equiv. to ( and ) | |
| Commutation (3) | ( is equiv. to ) is equiv. to ( is equiv. to ) | |
| Association (1) | or ( or ) is equiv. to ( or ) or | |
| Association (2) | and ( and ) is equiv. to ( and ) and | |
| Distribution (1) | and ( or ) is equiv. to ( and ) or ( and ) | |
| Distribution (2) | or ( and ) is equiv. to ( or ) and ( or ) | |
| Double Negation | is equivalent to the negation of not | |
| Transposition | If then is equiv. to if not then not | |
| Material Implication | If then is equiv. to not or | |
| Material Equivalence (1) | ( is equiv. to ) means (if is true then is true) and (if is true then is true) | |
| Material Equivalence (2) | ( is equiv. to ) means either ( and are true) or (both and are false) | |
| Material Equivalence (3) | ( is equiv. to ) means, both ( or not is true) and (not or is true) | |
| Exportation | from (if and are true then is true) we can prove (if is true then is true, if is true) | |
| Importation | If then (if then ) is equivalent to if and then | |
| Tautology (1) | is true is equiv. to is true or is true | |
| Tautology (2) | is true is equiv. to is true and is true | |
| Tertium non datur (Law of Excluded Middle) | or not is true | |
| Law of Non-Contradiction | and not is false, is a true statement | |
Read more about this topic: Propositional Calculus
Famous quotes containing the words basic, derived, argument and/or forms:
“The gay world that flourished in the half-century between 1890 and the beginning of the Second World War, a highly visible, remarkably complex, and continually changing gay male world, took shape in New York City.... It is not supposed to have existed.”
—George Chauncey, U.S. educator, author. Gay New York: Gender, Urban Culture, and the Making of the Gay Male World, 1890-1940, p. 1, Basic Books (1994)
“Those who have been once intoxicated with power, and have derived any kind of emolument from it, even though but for one year, never can willingly abandon it. They may be distressed in the midst of all their power; but they will never look to anything but power for their relief.”
—Edmund Burke (1729–1797)
“The argument ad feminam, all the old knives
that have rusted in my back, I drive in yours,
ma semblable, ma soeur!”
—Adrienne Rich (b. 1929)
“From the war of nature, from famine and death, the most exalted object which we are capable of conceiving, namely, the production of the higher animals, directly follows. There is grandeur in this view of life, with its several powers, having been breathed into a few forms or into one; and that, whilst this planet has gone cycling on according to the fixed law of gravity, from so simple a beginning endless forms most beautiful and most wonderful have been, and are being, evolved.”
—Charles Darwin (1809–1882)