Editing Propositional calculus (section)

==External links==
{{Commons category}}
*{{Cite encyclopedia | last = Klement| first = Kevin C. | title = Propositional Logic | encyclopedia = [[Internet Encyclopedia of Philosophy]] | date = | url=https://iep.utm.edu/propositional-logic-sentential-logic/ | editor-last1 = Fieser | editor-first1 = James | editor-last2 = Dowden | editor-first2 = Bradley | access-date = 2025-04-07 }}
*{{Cite encyclopedia | last = Franks | first = Curtis | title = Propositional Logic | encyclopedia = [[Stanford Encyclopedia of Philosophy]] | editor-last1 = Zalta | editor-first1 = Edward N. | editor-last2 = Nodelman | editor-first2 = Uri | publisher = Metaphysics Research Lab, Stanford University | edition = Winter 2024 | date = 2024 | url = https://plato.stanford.edu/entries/logic-propositional/ | access-date = 2025-04-07 }}

*[http://www.qedeq.org/current/doc/math/qedeq_formal_logic_v1_en.pdf Formal Predicate Calculus], contains a systematic formal development with axiomatic proof
* ''[http://www.fecundity.com/logic/ forall x: an introduction to formal logic]'', by [[P.D. Magnus]], covers formal semantics and [[proof theory]] for sentential logic.
*[http://logicinaction.org/docs/ch2.pdf Chapter 2 / Propositional Logic] from [http://logicinaction.org Logic In Action]
*[https://www.nayuki.io/page/propositional-sequent-calculus-prover Propositional sequent calculus prover] on Project Nayuki. (''note'': implication can be input in the form <code>!X|Y</code>, and a sequent can be a single formula prefixed with <code>></code> and having no commas)
*[https://docs.google.com/document/d/1DhtRAPcMwJmiQnbdmFcHWaOddQ7kuqqDnWp2LZcGlnY/edit?usp=sharing Propositional Logic - A Generative Grammar]
*[https://propositional-calculator.com/ A Propositional Calculator that helps to understand simple expressions]

{{Classical logic}}
{{Formal Fallacy}}
{{Mathematical logic}}
{{Authority control}}

[[Category:Propositional calculus| ]]
[[Category:Logical calculi]]
[[Category:Boolean algebra]]
[[Category:Classical logic]]
[[Category:Analytic philosophy]]