OurBigBook
About
$
Donate
Sign in
+
Sign up
Propositional logic
ID: propositional-logic
Top articles
Latest articles
+
New article in topic
Show body
Body
0
Propositional logic
by
Ciro Santilli
35
Updated
2025-04-18
+
Created
1970-01-01
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.
Total
articles
:
1
New to
topics
?
Read the docs here!