When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. Modus ponens - Wikipedia

    en.wikipedia.org/wiki/Modus_ponens

    An argument can be valid but nonetheless unsound if one or more premises are false; if an argument is valid and all the premises are true, then the argument is sound. For example, John might be going to work on Wednesday. In this case, the reasoning for John's going to work (because it is Wednesday) is unsound. The argument is only sound on ...

  3. Validity (logic) - Wikipedia

    en.wikipedia.org/wiki/Validity_(logic)

    An argument that is not valid is said to be "invalid". An example of a valid (and sound) argument is given by the following well-known syllogism: All men are mortal. (True) Socrates is a man. (True) Therefore, Socrates is mortal. (True) What makes this a valid argument is not that it has true premises and a true conclusion.

  4. Deductive reasoning - Wikipedia

    en.wikipedia.org/wiki/Deductive_reasoning

    It is possible to have a deductive argument that is logically valid but is not sound. Fallacious arguments often take that form. The following is an example of an argument that is “valid”, but not “sound”: Everyone who eats carrots is a quarterback. John eats carrots. Therefore, John is a quarterback.

  5. List of valid argument forms - Wikipedia

    en.wikipedia.org/wiki/List_of_valid_argument_forms

    Being a valid argument does not necessarily mean the conclusion will be true. It is valid because if the premises are true, then the conclusion has to be true. This can be proven for any valid argument form using a truth table which shows that there is no situation in which there are all true premises and a false conclusion. [2]

  6. Modus tollens - Wikipedia

    en.wikipedia.org/wiki/Modus_tollens

    The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument. The history of the inference rule modus tollens goes back to antiquity. [4] The first to explicitly describe the argument form modus tollens was Theophrastus. [5] Modus tollens is closely related to modus ponens.

  7. Glossary of logic - Wikipedia

    en.wikipedia.org/wiki/Glossary_of_logic

    deductive argument An argument where the conclusion necessarily follows from the premises, intended to provide conclusive proof of the conclusion. deductive consequence See syntactic consequence. [81] deductive validity 1. The property of a deductive argument where, if the premises are true, the conclusion must also be true. [82] 2.

  8. Logic - Wikipedia

    en.wikipedia.org/wiki/Logic

    A deductively valid argument is one whose premises guarantee the truth of its conclusion. [11] For instance, the argument "(1) all frogs are amphibians; (2) no cats are amphibians; (3) therefore no cats are frogs" is deductively valid. For deductive validity, it does not matter whether the premises or the conclusion are actually true.

  9. Hypothetical syllogism - Wikipedia

    en.wikipedia.org/wiki/Hypothetical_syllogism

    In this example, the first premise is a conditional statement in which "P" is the antecedent and "Q" is the consequent. The second premise "affirms" the antecedent. The conclusion, that the consequent must be true, is deductively valid. A mixed hypothetical syllogism has four possible forms, two of which are valid, while the other two are invalid.