Will Aldred | v0.5.0Feb 3rd 2023 | (+12/-11) | ||
Yoav Ravid | v0.4.0Sep 25th 2021 | (+60) | ||
plex | v0.3.0Sep 24th 2021 | (+128) added link to formal proof | ||
Multicore | v0.2.0Sep 25th 2020 | (+16/-9) | ||
Multicore | v0.1.0Sep 25th 2020 | (-176) | ||
ScottL | v0.0.0Aug 23rd 2015 | (+672) base version |
MathLogic and logicMathematics are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.
Math and logic are deductive systems, where the conclusion of a successful argument follows necessarily from its premises, given the axioms of the system you’re using: number theory, geometry, predicate logic, etc.
fallaciesfallacies.anAn argument that is valid and whose premises are all true. In other words, the premises are true and the conclusion necessarily follows from them, making the conclusion true as well.