OurBigBook
.com (beta)
About
$ Donate
Sign in
Sign up
by
Ciro Santilli
(@cirosantilli,
32
)
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
If and only if
Modus ponens
Propositional logic
If and only if (Iff)
Propositional logic
Ancestors
Logic
Formalization of mathematics
Area of mathematics
Mathematics
Index
Incoming links
First-order logic
Discussion (0)
Subscribe (1)
Sign up
or
sign in
create discussions.
There are no discussions about this article yet.
View article source