Anonymous

Not logged in

  • Create account
  • Log in
HandWiki

Help

Category:Theorems in propositional logic

From HandWiki

Namespaces

  • Category
  • Discussion

More

  • More
  • Languages

Page actions

  • Read
  • View source
  • History

Philosophy portal

Here is a list of articles in the category Theorems in propositional logic of the Philosophy portal.

Wikimedia Commons has media related to Theorems in propositional logic.
The main article for this category is Propositional calculus.
See also: Category:Rules of inference

Pages in category "Theorems in propositional logic"

The following 28 pages are in this category, out of 28 total.

A

  • Absorption law

B

  • Biconditional elimination
  • Biconditional introduction

C

  • Commutativity of conjunction
  • Conjunction elimination
  • Conjunction introduction
  • Consensus theorem
  • Philosophy:Constructive dilemma
  • Contraposition

D

  • De Morgan's laws
  • Philosophy:Destructive dilemma
  • Disjunction elimination
  • Disjunction introduction
  • Disjunctive syllogism
  • Distributive property
  • Double negation

F

  • Frege's theorem

H

  • Hypothetical syllogism

L

  • Law of excluded middle

M

  • Material implication (rule of inference)
  • Modus non excipiens
  • Modus ponendo tollens
  • Modus ponens
  • Modus tollens

N

  • Nicod's axiom

P

  • Peirce's law
  • Proof by contradiction

T

  • Tautology (rule of inference)
Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Theorems_in_propositional_logic&oldid=536638"
Categories:
  • Propositional calculus
  • Mathematical theorems
Encyclopedia of Knowledge
Main page Data analysis Astronomy & Space Biology Computer concepts Chemistry Mathematics Physics Earth studies Unsolved problems
History Philosophy Social studies Religion Medicine
Engineering & Tech Software programs Finance & Business

Biographies Organizations Companies Places
Books Monographs Tutorials Manuals

Navigation

Navigation

  • Add a new article
  • Search in all topics
  • Search in namespaces
  • Search in categories
  • Search using prefix

Help

  • About HandWiki
  • FAQs
  • How to edit
  • Citation manager
  • Formatting articles
  • List of categories
  • Recent pages
  • Recent changes
  • Random page
  • Support & Donate

googletranslator

    Navigation

    • Special pages

    Wiki tools

    Wiki tools

      Page tools

      Page tools

        User page tools

          More

          • What links here
          • Related changes
          • Printable version
          • Permanent link
          • Page information
          • Page logs

          Other projects

          In other languages

            Add links

            In other projects

              Categories

              Categories

              • Propositional calculus
              • Mathematical theorems
              • Creative Commons Attribution-ShareAlike
              • Powered by MediaWiki
              • This page was last edited on 28 February 2021, at 17:55.
              • Content is available under Creative Commons Attribution-ShareAlike unless otherwise noted.
              • Privacy policy
              • About HandWiki
              • Disclaimers