OurBigBook About$ Donate
 Sign in Sign up

Propositional logic

Ciro Santilli (@cirosantilli, 37) Mathematics Area of mathematics Formalization of mathematics Logic
Updated 2025-07-16  0 By others on same topic  0 Discussions Create my own version
This is the part of the formalization of mathematics that deals only with the propositions.
In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.
  • Table of contents
    • Modus ponens Propositional logic
    • If and only if Propositional logic

Modus ponens

 1  0
Propositional logic

If and only if (Iff)

 1  0
Propositional logic

 Ancestors (5)

  1. Logic
  2. Formalization of mathematics
  3. Area of mathematics
  4. Mathematics
  5.  Home

 Incoming links (1)

  • First-order logic

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook