OurBigBook
About
$
Donate
Sign in
+
Sign up
by
Ciro Santilli
(
@cirosantilli,
35
)
Propositional logic
Home
Mathematics
Area of mathematics
Formalization of mathematics
Logic
0
Like
0 By others
on same topic
0 Discussions
Updated
2025-04-18
+
Created
1970-01-01
See my 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
0
1
0
Propositional logic
If and only if
(Iff)
0
1
0
Propositional logic
Ancestors
(5)
Logic
Formalization of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(1)
First-order logic
View article source
Discussion
(0)
Subscribe (1)
+
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