Modus ponens

Results: 69



#Item
61Deduction / Binary operations / Entailment / Conditional proof / Modus ponens / Logical biconditional / Contraposition / Soundness / If and only if / Logic / Logical consequence / Propositional calculus

Chapter 8: The Logic of Conditionals § 8.1 Informal methods of proof Conditional elimination

Add to Reading List

Source URL: faculty.washington.edu

Language: English - Date: 2004-06-01 21:31:14
62

Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski

Add to Reading List

Source URL: jerzy.cfh.prof.ufsc.br

Language: Portuguese - Date: 2011-04-28 17:25:02
    63Non-classical logic / Probabilistic logic / Modus tollens / Modus ponens / Indicative conditional / Material conditional / Probability / Logic / Rules of inference / Conditionals

    PDF Document

    Add to Reading List

    Source URL: www.math.utk.edu

    Language: English - Date: 2011-02-09 09:27:58
    64Proof theory / Grammar / Logical connectives / Categorial grammar / Combinatory categorial grammar / Natural deduction / Linear logic / Modus ponens / Curry–Howard correspondence / Logic / Mathematical logic / Linguistics

    PDF Document

    Add to Reading List

    Source URL: www.let.uu.nl

    Language: English - Date: 2009-03-16 13:46:32
    65Propositional calculus / Philosophical logic / Natural deduction / If and only if / Entailment / Universal quantification / Modus ponens / Negation / Modal logic / Logic / Mathematical logic / Deduction

    PDF Document

    Add to Reading List

    Source URL: www.danielclemente.com

    Language: English - Date: 2005-05-17 18:34:22
    66Paraconsistent logic / Modus ponens / Deviant logic / Classical logic / Deductive reasoning / Argument / Fuzzy logic / Philosophy of logic / Theory of justification / Logic / Non-classical logic / Mathematical logic

    PDF Document

    Add to Reading List

    Source URL: www.columbia.edu

    Language: English - Date: 2001-03-22 12:57:27
    67Mathematics / Modus ponens / Modus tollens / Propositional calculus / Disjunctive syllogism / Hypothetical syllogism / PDP-8 / Function / Simplification / Rules of inference / Logic / Mathematical logic

    PDF Document

    Add to Reading List

    Source URL: suppes-corpus.stanford.edu

    Language: English - Date: 2008-09-09 20:50:02
    68Philosophical logic / Proof theory / Analytic philosophers / Begriffsschrift / Gottlob Frege / Quantification / Natural deduction / Modus ponens / Ancestral relation / Logic / Analytic philosophy / Philosophy

    PDF Document

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    - Date: 2008-01-07 09:35:14
    69Propositional calculus / Philosophical logic / Boolean algebra / Begriffsschrift / Modus ponens / Function / Gottlob Frege / First-order logic / Axiom / Logic / Mathematics / Mathematical logic

    PDF Document

    Add to Reading List

    Source URL: comet.lehman.cuny.edu

    Language: English - Date: 2013-07-15 12:32:40
    UPDATE