by

Ciro Santilli (@cirosantilli, 37)

Propositional logic

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 

If and only if (Iff)

 1  0 

 Ancestors (5)

 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