Editing Propositional calculus (section)

==References==
{{Reflist|30em|refs=
<ref name=":0">{{Cite book |title=Semantics: a reader |date=2004 |publisher=Oxford University Press |isbn=978-0-19-513697-5 |editor-last=Davis |editor-first=Steven |location=New York |editor-last2=Gillon |editor-first2=Brendan S.}}</ref>
<ref name=":02">{{Cite book |last1=Ayala-Rincón |first1=Mauricio |url=https://link.springer.com/book/10.1007/978-3-319-51653-0 |title=Applied Logic for Computer Scientists |last2=de Moura |first2=Flávio L.C. |series=Undergraduate Topics in Computer Science |date=2017 |publisher=Springer |pages=2 |language=en |doi=10.1007/978-3-319-51653-0|isbn=978-3-319-51651-6 }}</ref>
<ref name=":1">{{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 }}</ref>
<ref name=":10">{{Cite book |last1=Bělohlávek |first1=Radim |title=Fuzzy logic and mathematics: a historical perspective |last2=Dauben |first2=Joseph Warren |last3=Klir |first3=George J. |date=2017 |publisher=Oxford University Press |isbn=978-0-19-020001-5 |location=New York, NY, United States of America |pages=463}}</ref>
<ref name=":11">{{Cite book |last=Manzano |first=María |title=Extensions of first order logic |date=2005 |publisher=Cambridge University Press |isbn=978-0-521-35435-6 |edition=Digitally printed first paperback version |series=Cambridge tracts in theoretical computer science |location=Cambridge |pages=180}}</ref>
<ref name=":12">{{Cite web |title=Propositional Logic |url=https://www.cs.miami.edu/home/geoff/Courses/CSC648-12S/Content/Propositional.shtml |access-date=2024-03-22 |website=www.cs.miami.edu}}</ref>
<ref name=":13">{{Cite book |last=Howson |first=Colin |title=Logic with trees: an introduction to symbolic logic |date=1997 |publisher=Routledge |isbn=978-0-415-13342-5 |location=London; New York |pages=ix, x,5–6, 15–16, 20, 24–29, 38, 42–43, 47}}</ref>
<ref name=":14">{{Cite web |title=Natural Deduction {{!}} Internet Encyclopedia of Philosophy |url=https://iep.utm.edu/natural-deduction/ |access-date=2024-03-23 |language=en-US}}</ref>
<ref name=":15">{{Cite web |last=Weisstein |first=Eric W. |title=Sequent Calculus |url=https://mathworld.wolfram.com/ |access-date=2024-03-23 |website=mathworld.wolfram.com |language=en}}</ref>
<ref name=":16">{{Cite book |last=Cook |first=Roy T. |title=A dictionary of philosophical logic |date=2009 |publisher=Edinburgh University Press |isbn=978-0-7486-2559-8 |location=Edinburgh |pages=82,176 |language=en}}</ref>
<ref name=":18">{{Cite web |last=Weisstein |first=Eric W. |title=Propositional Calculus |url=https://mathworld.wolfram.com/ |access-date=2024-03-22 |website=mathworld.wolfram.com |language=en}}</ref>
<ref name=":19">{{Cite journal |last=Chowdhary |first=K.R. |date=2020 |title=Fundamentals of Artificial Intelligence |url=https://doi.org/10.1007/978-81-322-3972-7 |journal=SpringerLink |language=en |pages=31–34 |doi=10.1007/978-81-322-3972-7|isbn=978-81-322-3970-3 }}</ref>
<ref name=":2">{{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/archives/win2024/entries/logic-propositional/ | access-date = 2025-04-07 }}</ref>
<ref name=":20">{{Cite book |last=Rogers |first=Robert L. |url=http://dx.doi.org/10.1016/c2013-0-11894-6 |title=Mathematical Logic and Formalized Theories |date=1971 |publisher=Elsevier |isbn=978-0-7204-2098-2 |pages=38–39 |doi=10.1016/c2013-0-11894-6 |language=en}}</ref>
<ref name=":21">{{Cite book |last=Beall |first=Jeffrey C. |title=Logic: the basics |date=2010 |publisher=Routledge |isbn=978-0-203-85155-5 |edition=1. publ |location=London |pages=6, 8, 14–16, 19–20, 44–48, 50–53, 56 |language=en}}</ref>
<ref name=":22">{{Citation |last1=McGrath |first1=Matthew |title=Propositions |date=2023 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/win2023/entries/propositions/ |access-date=2024-03-22 |edition=Winter 2023 |publisher=Metaphysics Research Lab, Stanford University |last2=Frank |first2=Devin |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name=":23">{{Cite web |last=Weisstein |first=Eric W. |title=Connective |url=https://mathworld.wolfram.com/ |access-date=2024-03-22 |website=mathworld.wolfram.com |language=en}}</ref>
<ref name=":24">{{Cite journal |last=Landman |first=Fred |date=1991 |title=Structures for Semantics |url=https://doi.org/10.1007/978-94-011-3212-1 |journal=Studies in Linguistics and Philosophy |language=en |volume=45 |pages=127 |doi=10.1007/978-94-011-3212-1 |isbn=978-0-7923-1240-6 |issn=0924-4662}}</ref>
<ref name=":25">{{Citation |last1=Demey |first1=Lorenz |title=Logic and Probability |date=2023 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/fall2023/entries/logic-probability/ |access-date=2024-03-22 |edition=Fall 2023 |publisher=Metaphysics Research Lab, Stanford University |last2=Kooi |first2=Barteld |last3=Sack |first3=Joshua |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name=":26">{{Citation |last1=Shramko |first1=Yaroslav |title=Truth Values |date=2021 |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/win2021/entriesruth-values/ |access-date=2024-03-23 |edition=Winter 2021 |publisher=Metaphysics Research Lab, Stanford University |last2=Wansing |first2=Heinrich |encyclopedia=The Stanford Encyclopedia of Philosophy}}</ref>
<ref name=":27">{{Cite web |title=MathematicalLogic |url=https://www.cs.yale.edu/homes/aspnes/pinewiki/MathematicalLogic.html |access-date=2024-03-23 |website=www.cs.yale.edu}}</ref>
<ref name=":28">{{Cite book |last=Hodges |first=Wilfrid |title=Logic |date=2001 |publisher=Penguin Books |isbn=978-0-14-100314-6 |edition=2 |location=London |pages=130–131 |language=en}}</ref>
<ref name=":29">{{Cite book |last=Smullyan |first=Raymond M.|author-link=Raymond Smullyan |title=First-Order Logic |date=1995 |orig-year=1968|publisher=[[Dover Publications]]|isbn=978-0-486-68370-6 |location=New York |pages=5, 10–11, 14 |language=en}}</ref>
<ref name=":3">{{Cite book |last=Plato |first=Jan von |title=Elements of logical reasoning |date=2013 |publisher=Cambridge University press |isbn=978-1-107-03659-8 |edition=1. publ |location=Cambridge |pages=9,32,121}}</ref>
<ref name=":30">{{Cite web |date=2021-09-09 |title=1.4: Tautologies and contradictions |url=https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/Elementary_Foundations%3A_An_Introduction_to_Topics_in_Discrete_Mathematics_(Sylvestre)/01%3A_Symbolic_language/1.04%3A_Tautologies_and_contradictions |access-date=2024-03-29 |website=Mathematics LibreTexts |language=en}}</ref>
<ref name=":31">{{Cite book |last=Sylvestre |first=Jeremy |url=https://sites.ualberta.ca/~jsylvest/books/EF/section-symb-lang-taut-contra.html |title=EF Tautologies and contradictions |language=en-US}}</ref>
<ref name=":32">{{Cite book |last1=DeLancey |first1=Craig |url=https://intrologicimport.pressbooks.tru.ca/chapter/9-if-and-only-if-using-theorems-a-concise-introduction-to-logic/ |title=Elementary Formal Logic |last2=Woodrow |first2=Jenna |publisher=Pressbooks |year=2017 |edition=1}}</ref>
<ref name=":33">{{Cite book |last=Humberstone |first=Lloyd |url=https://www.worldcat.org/title/694679197 |title=The connectives |date=2011 |publisher=MIT Press |isbn=978-0-262-01654-4 |location=Cambridge, Mass |pages=118, 702 |oclc=694679197}}</ref>
<ref name=":34">{{Citation |last=Restall |first=Greg |title=Substructural Logics |date=2018 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/spr2018/entries/logic-substructural/ |access-date=2024-03-22 |edition=Spring 2018 |publisher=Metaphysics Research Lab, Stanford University}}</ref>
<ref name=":35">{{Cite book |last1=Allen |first1=Colin |title=Logic primer |last2=Hand |first2=Michael |date=2022 |publisher=The MIT Press |isbn=978-0-262-54364-4 |edition=3rd |location=Cambridge, Massachusetts}}</ref>
<ref name=":36">{{Cite web |title=Validity and Soundness {{!}} Internet Encyclopedia of Philosophy |url=https://iep.utm.edu/val-snd/ |access-date=2024-04-05 |language=en-US}}</ref>
<ref name=":37">{{Cite book |last=Restall |first=Greg |title=Logic: an introduction |date=2010 |publisher=Routledge |isbn=978-0-415-40068-8 |series=Fundamentals of philosophy |location=London |pages=5, 36–41, 55–60, 69}}</ref>
<ref name=":38">{{Cite book |last=Lemmon |first=Edward John |title=Beginning logic |date=1998 |publisher=Chapman & Hall/CRC |isbn=978-0-412-38090-7 |location=Boca Raton, FL |pages=passim, especially 39–40}}</ref>
<ref name=":39">{{Cite book |last=Arthur |first=Richard T. W. |url=https://www.worldcat.org/title/962129086 |title=An introduction to logic: using natural deduction, real arguments, a little history, and some humour |date=2017 |publisher=Broadview Press |isbn=978-1-55481-332-2 |edition=2nd |location=Peterborough, Ontario |oclc=962129086}}</ref>
<ref name=":4">{{Cite web |title=Introduction to Logic - Chapter 2 |url=http://intrologic.stanford.edu/chapters/chapter_02.html |access-date=2024-03-22 |website=intrologic.stanford.edu}}</ref>
<ref name=":40">{{Citation |last1=Pelletier |first1=Francis Jeffry |title=Natural Deduction Systems in Logic |date=2024 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/spr2024/entries/natural-deduction/ |access-date=2024-03-22 |edition=Spring 2024 |publisher=Metaphysics Research Lab, Stanford University |last2=Hazen |first2=Allen |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name=":41">{{Cite book |last=Hodges |first=Wilfrid |title=Logic |date=1977 |publisher=Penguin |isbn=978-0-14-021985-2 |location=Harmondsworth; New York |pages=80–85}}</ref>
<ref name=":42">{{Cite book |last1=Hansson |first1=Sven Ove |title=Introduction to formal philosophy |last2=Hendricks |first2=Vincent F. |date=2018 |publisher=Springer |isbn=978-3-030-08454-7 |series=Springer undergraduate texts in philosophy |location=Cham |pages=38}}</ref>
<ref name=":43">{{Cite book |last1=Beall |first1=J. C. |url=https://books.google.com/books?id=qrUUDAAAQBAJ |title=Logical Pluralism |last2=Restall |first2=Greg |date=2006 |publisher=Clarendon Press |isbn=978-0-19-928840-3 |pages=38 |language=en}}</ref>
<ref name=":44">{{Cite book |last=Smullyan |first=Raymond M. |url=https://books.google.com/books?id=n6S-AwAAQBAJ |title=A Beginner's Guide to Mathematical Logic |date=2014-07-23 |publisher=Courier Corporation |isbn=978-0-486-49237-7 |pages=102–103 |language=en}}</ref>
<ref name=":45">{{Cite book |last=Mendelsohn |first=Richard L. |url=https://books.google.com/books?id=G6_90xFwUbUC |title=The Philosophy of Gottlob Frege |date=2005-01-10 |publisher=Cambridge University Press |isbn=978-1-139-44403-3 |pages=185 |language=en}}</ref>
<ref name=":46">{{Cite book |last=Łukasiewicz |first=Jan |url=https://books.google.com/books?id=Jb_zOwAACAAJ |title=Jan Lukasiewicz: Selected Works |date=1970 |publisher=North-Holland |pages=136 |language=en}}</ref>
<ref name=":47">{{Cite book |last=Church |first=Alonzo |url=https://books.google.com/books?id=JDLQOMKbdScC |title=Introduction to Mathematical Logic |date=1996 |publisher=Princeton University Press |isbn=978-0-691-02906-1 |pages=119 |language=en}}</ref>
<ref name=":48">{{Cite web |title=Proof Explorer - Home Page - Metamath |url=https://us.metamath.org/mpegif/mmset.html#scaxioms |access-date=2024-07-02 |website=us.metamath.org |language=EN-US}}</ref>
<ref name=":49">{{Cite book |last=Walicki |first=Michał |title=Introduction to mathematical logic |date=2017 |publisher=World Scientific |isbn=978-981-4719-95-7 |edition=Extended |location=New Jersey |pages=126}}</ref>
<ref name=":5">{{Cite web |title=3.1 Propositional Logic |url=https://www.teach.cs.toronto.edu/~csc110y/fall/notes/03-logic/01-propositional-logic.html |access-date=2024-03-22 |website=www.teach.cs.toronto.edu}}</ref>
<ref name=":6">{{Cite web |title=Lecture Topics for Discrete Math Students |url=https://math.colorado.edu/~kearnes/Teaching/Courses/F23/discretel.html |access-date=2024-03-22 |website=math.colorado.edu}}</ref>
<ref name=":7">{{Cite web |title=Compactness {{!}} Internet Encyclopedia of Philosophy |url=https://iep.utm.edu/compactness/ |access-date=2024-03-22 |language=en-US}}</ref>
<ref name=":8">{{Cite book |last=Kleene |first=Stephen Cole |title=Mathematical logic |date=2002 |publisher=Dover Publications |isbn=978-0-486-42533-7 |edition=Dover |location=Mineola, N.Y}}</ref>
<ref name=":9">{{Cite book |last=Lande |first=Nelson P. |title=Classical logic and its rabbit holes: a first course |date=2013 |publisher=Hackett Publishing Co., Inc |isbn=978-1-60384-948-7 |location=Indianapolis, Ind |pages=20}}</ref>
<ref name="BostockIntermediate">{{Cite book |last=Bostock |first=David |title=Intermediate logic |date=1997 |publisher=Clarendon Press; Oxford University Press |isbn=978-0-19-875141-0 |location=Oxford : New York |pages=4–5, 8–13, 18–19, 22, 27, 29, 191, 194}}</ref>
<ref name="metalogic">{{Cite book |last=Hunter |first=Geoffrey |title=Metalogic: An Introduction to the Metatheory of Standard First-Order Logic |publisher=University of California Press |year=1971 |isbn=0-520-02356-0}}</ref>
<ref name="Russell Truth-Tables">{{cite web |title=Russell: the Journal of Bertrand Russell Studies |url=http://digitalcommons.mcmaster.ca/cgi/viewcontent.cgi?article=1219&context=russelljournal |url-status=dead}}</ref>
<ref name="Smith2003">{{citation | last1=Smith | first1=Peter | title=An introduction to formal logic | publisher=[[Cambridge University Press]] | isbn=978-0-521-00804-4 | year=2003}}. (Defines "expressively adequate", shortened to "adequate set of connectives" in a section heading.)</ref>
<ref name="tao">{{citation| last = Tao | first = Terence | authorlink = Terence Tao |chapter = The completeness and compactness theorems of first-order logic| doi = 10.1090/mbk/077| isbn = 978-0-8218-5280-4| mr = 2780010| pages = 27–31| publisher = American Mathematical Society| title = An epsilon of room, II| section-url = https://terrytao.wordpress.com/2009/04/10/the-completeness-and-compactness-theorems-of-first-order-logic/| year = 2010}}</ref>
<ref name="Truth in Frege">[https://web.archive.org/web/20120807235445/http://frege.brown.edu/heck/pdf/unpublished/TruthInFrege.pdf Truth in Frege]</ref>
<ref name="Hilbert_Ackermann">{{cite book|first1=D. |last1=Hilbert |first2=W. |last2=Ackermann |title=Principles of Mathematical Logic |oclc=372927 |year=1950 |publisher=Chelsea Publishing Company}}</ref>
<ref name="ms1">{{cite book|url=http://plato.stanford.edu/archives/spr2016/entries/logic-ancient/|title=The Stanford Encyclopedia of Philosophy|first=Susanne|last=Bobzien|chapter=Ancient Logic |editor-first=Edward N.|editor-last=Zalta|date=1 January 2016|publisher=Metaphysics Research Lab, Stanford University |via=Stanford Encyclopedia of Philosophy}}</ref>
<ref name="ms2">{{Cite web|title=Propositional Logic {{!}} Internet Encyclopedia of Philosophy|url=https://iep.utm.edu/prop-log/|access-date=2020-08-20|language=en-US}}</ref>
<ref name="ms3">{{Citation |last=Bobzien |first=Susanne |title=Ancient Logic |date=2020 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/sum2020/entries/logic-ancient/ |access-date=2024-03-22 |edition=Summer 2020 |publisher=Metaphysics Research Lab, Stanford University}}</ref>
<ref name="ms4">{{cite book|url=http://plato.stanford.edu/archives/spr2014/entries/leibniz-logic-influence/|title=The Stanford Encyclopedia of Philosophy|first=Volker|last=Peckhaus|chapter=Leibniz's Influence on 19th Century Logic |editor-first=Edward N.|editor-last=Zalta|date=1 January 2014|publisher=Metaphysics Research Lab, Stanford University |via=Stanford Encyclopedia of Philosophy}}</ref>
<ref name="ms5">{{cite book |title=A Concise Introduction to Logic 10th edition |last=Hurley |first=Patrick |year=2007 |publisher=Wadsworth Publishing |page=392 }}</ref>
<ref name="ms6">Beth, Evert W.; "Semantic entailment and formal derivability", series: Mededlingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, Nieuwe Reeks, vol. 18, no. 13, Noord-Hollandsche Uitg. Mij., Amsterdam, 1955, pp. 309–42. Reprinted in Jaakko Intikka (ed.) ''The Philosophy of Mathematics'', Oxford University Press, 1969</ref>
<ref name="ms7">{{cite journal|last1=Anellis|first1=Irving H.|authorlink=Irving Anellis|title=Peirce's Truth-functional Analysis and the Origin of the Truth Table|journal=History and Philosophy of Logic|date=2012|volume=33|pages=87–97|doi=10.1080/01445340.2011.621702|s2cid=170654885 }}</ref>
<ref name="ms8">{{Cite web |title=Part2Mod1: LOGIC: Statements, Negations, Quantifiers, Truth Tables |url=https://www.math.fsu.edu/~wooland/hm2ed/Part2Module1/Part2Module1.html |access-date=2024-03-22 |website=www.math.fsu.edu}}</ref>
<ref name="ms9">{{Cite web |title=Lecture Notes on Logical Organization and Critical Thinking |url=https://www2.hawaii.edu/~sugihara/courses/HCU2016s_TC/notes/CriticalThinking.html |access-date=2024-03-22 |website=www2.hawaii.edu}}</ref>
<ref name="ms10">{{Cite web |title=Logical Connectives |url=https://sites.millersville.edu/bikenaga/math-proof/logical-connectives/logical-connectives.html |access-date=2024-03-22 |website=sites.millersville.edu}}</ref>
<ref name="ms11">{{Cite web |title=Lecture1 |url=https://www.cs.columbia.edu/~rgu/courses/e6998/fall2018/Lecture1.html |access-date=2024-03-22 |website=www.cs.columbia.edu}}</ref>
<ref name="ms12">{{Cite web |title=Watson |url=http://watson.latech.edu/book/intelligence/intelligenceApproaches2b1.html |access-date=2024-03-22 |website=watson.latech.edu}}</ref>
<ref name="ms13">{{Cite web |title=Introduction to Theoretical Computer Science, Chapter 1 |url=https://www.cs.odu.edu/~toida/nerzic/390teched/math/logic.html |access-date=2024-03-22 |website=www.cs.odu.edu}}</ref>
<ref name="ms14">{{Cite journal |last=Stojnić |first=Una |date=2017 |title=One's Modus Ponens: Modality, Coherence and Logic |url=https://www.jstor.org/stable/48578954 |journal=Philosophy and Phenomenological Research |volume=95 |issue=1 |pages=167–214 |doi=10.1111/phpr.12307 |jstor=48578954 |issn=0031-8205}}</ref>
<ref name="ms15">{{Citation |last=Dutilh Novaes |first=Catarina |title=Argument and Argumentation |date=2022 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/fall2022/entries/argument/ |access-date=2024-04-05 |edition=Fall 2022 |publisher=Metaphysics Research Lab, Stanford University |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name="ms16">{{Citation |last1=Paseau |first1=Alexander |title=Deductivism in the Philosophy of Mathematics |date=2023 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/fall2023/entries/deductivism-mathematics/ |access-date=2024-03-22 |edition=Fall 2023 |publisher=Metaphysics Research Lab, Stanford University |last2=Pregel |first2=Fabian |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name="ms17">{{Cite book |last=Russell |first=Bertrand |title=Principles of mathematics |date=2010 |publisher=Routledge |isbn=978-0-415-48741-2 |series=Routledge classics |location=London |pages=17}}</ref>
<ref name="ms18">{{Cite book |last=Goldrei |first=Derek |title=Propositional and predicate calculus: a model of argument |date=2005 |publisher=Springer |isbn=978-1-85233-921-0 |location=London |pages=69 |language=en}}</ref>
<ref name="ms19">{{Cite web |title=Propositional Logic |url=https://www.cs.rochester.edu/u/nelson/courses/csc_173/proplogic/expressions.html |access-date=2024-03-22 |website=www.cs.rochester.edu}}</ref>
<ref name="ms20">{{Cite web |title=Propositional calculus |url=https://www.cs.cornell.edu/courses/cs671/1999fa/typed%20logic/node18.html |access-date=2024-03-22 |website=www.cs.cornell.edu}}</ref>
<ref name="ms21">{{Cite journal |last1=Metcalfe |first1=David |last2=Powell |first2=John |date=2011 |title=Should doctors spurn Wikipedia? |journal=Journal of the Royal Society of Medicine |language=en |volume=104 |issue=12 |pages=488–489 |doi=10.1258/jrsm.2011.110227 |issn=0141-0768 |pmc=3241521 |pmid=22179287}}</ref>
<ref name="ms22">{{Cite book |last1=Ayers |first1=Phoebe |url=https://www.worldcat.org/title/185698411 |title=How Wikipedia works: and how you can be a part of it |last2=Matthews |first2=Charles |last3=Yates |first3=Ben |date=2008 |publisher=No Starch Press |isbn=978-1-59327-176-3 |location=San Francisco |pages=22 |oclc=185698411}}</ref>
<ref name="ms23">{{Citation |last1=Shapiro |first1=Stewart |title=Classical Logic |date=2024 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/spr2024/entries/logic-classical/ |access-date=2024-03-25 |edition=Spring 2024 |publisher=Metaphysics Research Lab, Stanford University |last2=Kouri Kissel |first2=Teresa |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name="ms24">{{Cite book |last=Fitting |first=Melvin |url=https://books.google.com/books?id=133kBwAAQBAJ&pg=PA16 |title=First-Order Logic and Automated Theorem Proving |date=2012-12-06 |publisher=Springer Science & Business Media |isbn=978-1-4612-2360-3 |pages=16 |language=en}}</ref>
<ref name="ms25">{{Cite book |last=Nascimento |first=Marco Antonio Chaer |title=Frontiers in quantum methods and applications in chemistry and physics: selected proceedings of QSCP-XVIII (Paraty, Brazil, December, 2013) |date=2015 |publisher=Springer |others=International Workshop on Quantum Systems in Chemistry and Physics |isbn=978-3-319-14397-2 |series=Progress in theoretical chemistry and physics |location=Cham |pages=255 |language=en}}</ref>
<ref name="ms26">{{Cite book |last1=Restall |first1=Greg |url=https://books.google.com/books?id=IJVnEAAAQBAJ |title=Logical Methods |last2=Standefer |first2=Shawn |date=2023-01-03 |publisher=MIT Press |isbn=978-0-262-54484-9 |pages=76 |language=en}}</ref>
<ref name="ms27">{{Citation |last=Aloni |first=Maria |title=Disjunction |date=2023 |encyclopedia=The Stanford Encyclopedia of Philosophy |editor-last=Zalta |editor-first=Edward N. |url=https://plato.stanford.edu/archives/spr2023/entries/disjunction/ |access-date=2024-03-23 |edition=Spring 2023 |publisher=Metaphysics Research Lab, Stanford University |editor2-last=Nodelman |editor2-first=Uri}}</ref>
<ref name="ms28">{{Cite book |last=Makridis |first=Odysseus |title=Symbolic logic |date=2022 |publisher=Palgrave Macmillan |isbn=978-3-030-67395-6 |series=Palgrave philosophy today |location=Cham, Switzerland |pages=119}}</ref>
<ref name="ms29">{{Cite book |last=Burgess |first=John P. |url=https://www.worldcat.org/title/276141382 |title=Philosophical logic |date=2009 |publisher=Princeton University Press |isbn=978-0-691-13789-6 |series=Princeton foundations of contemporary philosophy |location=Princeton |pages=5 |oclc=276141382}}</ref>
<ref name="ms30">{{Cite book |last=Levin |first=Oscar |url=https://discrete.openmathbooks.org/dmoi3/sec_propositional.html |title=Propositional Logic |language=en-US}}</ref>
<ref name="ms31">{{Cite book |last=Cunningham |first=Daniel W. |title=Set theory: a first course |date=2016 |publisher=Cambridge University Press |isbn=978-1-107-12032-7 |series=Cambridge mathematical textbooks |location=New York, NY}}</ref>
<ref name="ms32">{{Cite book |last1=Genesereth |first1=Michael |url=https://link.springer.com/10.1007/978-3-031-01801-5 |title=Introduction to Logic |last2=Kao |first2=Eric J. |date=2017 |publisher=Springer International Publishing |isbn=978-3-031-00673-9 |series=Synthesis Lectures on Computer Science |location=Cham |pages=18 |language=en |doi=10.1007/978-3-031-01801-5}}</ref>
<ref name="ms33">{{Cite web |title=6. Semantics of Propositional Logic — Logic and Proof 3.18.4 documentation |url=https://leanprover.github.io/logic_and_proof/semantics_of_propositional_logic.html |access-date=2024-03-28 |website=leanprover.github.io}}</ref>
<ref name="ms34">{{Cite web |title=Knowledge Representation and Reasoning: Basics of Logics |url=https://www.emse.fr/~zimmermann/Teaching/KRR/generalities.html |access-date=2024-03-28 |website=www.emse.fr}}</ref>
<ref name="ms35">{{Cite book |url=https://www.worldcat.org/title/681481210 |title=Computational logic in multi-agent systems: 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009: revised selected and invited papers |date=2010 |publisher=Springer |isbn=978-3-642-16866-6 |editor-last=Dix |editor-first=J. |series=Lecture notes in computer science |location=Berlin; New York |pages=49 |oclc=681481210 |editor-last2=Fisher |editor-first2=Michael |editor-last3=Novak |editor-first3=Peter}}</ref>
<ref name="ms36">{{Cite book |title=Computational models of argument: proceedings of comma 2020 |date=2020 |publisher=IOS Press |isbn=978-1-64368-106-1 |editor-last=Prakken |editor-first=Henry |series=Frontiers in artificial intelligence and applications |location=Washington |pages=252 |editor-last2=Bistarelli |editor-first2=Stefano |editor-last3=Santini |editor-first3=Francesco |editor-last4=Taticchi |editor-first4=Carlo}}</ref>
<ref name="ms37">{{Cite book |title=Advances in Mathematics Education Research on Proof and Proving: An International Perspective |date=2018 |publisher=Springer International Publishing : Imprint: Springer |isbn=978-3-319-70996-3 |editor-last=Harel |editor-first=Guershon |edition=1st ed. 2018 |series=ICME-13 Monographs |location=Cham |pages=181 |editor-last2=Stylianides |editor-first2=Andreas J.}}</ref>
<ref name="ms38">{{Cite journal |last=DeLancey |first=Craig |date=2017 |title=A Concise Introduction to Logic: §4. Proofs |url=https://milnepublishing.geneseo.edu/concise-introduction-to-logic/chapter/4-proofs/ |access-date=2024-03-23 |website=Milne Publishing}}</ref>
<ref name="ms39">{{Citation |last1=Ferguson |first1=Thomas Macaulay |title=semantic consequence |date=2016-06-23 |work=A Dictionary of Logic |url=https://www.oxfordreference.com/display/10.1093/acref/9780191816802.001.0001/acref-9780191816802-e-387 |access-date=2024-03-23 |publisher=Oxford University Press |language=en |doi=10.1093/acref/9780191816802.001.0001 |isbn=978-0-19-181680-2 |last2=Priest |first2=Graham}}</ref>
<ref name="ms40">{{Citation |last1=Ferguson |first1=Thomas Macaulay |title=syntactic consequence |date=2016-06-23 |work=A Dictionary of Logic |url=https://www.oxfordreference.com/display/10.1093/acref/9780191816802.001.0001/acref-9780191816802-e-440 |access-date=2024-03-23 |publisher=Oxford University Press |language=en |doi=10.1093/acref/9780191816802.001.0001 |isbn=978-0-19-181680-2 |last2=Priest |first2=Graham}}</ref>
<ref name="ms41">{{Cite web |date=2024-03-14 |title=Truth table {{!}} Boolean, Operators, Rules {{!}} Britannica |url=https://www.britannica.com/topic/truth-table |access-date=2024-03-23 |website=www.britannica.com |language=en}}</ref>
<ref name="ms42">{{Cite web |title=Analytic Tableaux |url=https://www3.cs.stonybrook.edu/~skiena/113/lectures/lecture5/lecture5.html |access-date=2024-03-23 |website=www3.cs.stonybrook.edu}}</ref>
<ref name="ms43">{{Cite web |title=Formal logic - Semantic Tableaux, Proofs, Rules {{!}} Britannica |url=https://www.britannica.com/topic/formal-logic/Semantic-tableaux |access-date=2024-03-23 |website=www.britannica.com |language=en}}</ref>
<ref name="ms44">{{Cite web |title=Axiomatic method {{!}} Logic, Proofs & Foundations {{!}} Britannica |url=https://www.britannica.com/science/axiomatic-method |access-date=2024-03-23 |website=www.britannica.com |language=en}}</ref>
<ref name="ms45">{{Cite web |title=Propositional Logic |url=https://mally.stanford.edu/tutorial/sentential.html |access-date=2024-03-23 |website=mally.stanford.edu}}</ref>
<ref name="ms46">{{Cite web |title=Interactive Tutorial of the Sequent Calculus |url=http://logitext.mit.edu/tutorial |access-date=2024-03-23 |website=logitext.mit.edu}}</ref>
<ref name="ms47">{{Cite book |last=Lawson |first=Mark V. |title=A first course in logic |date=2019 |publisher=CRC Press, Taylor & Francis Group |isbn=978-0-8153-8664-3 |location=Boca Raton |pages=example 1.58}}</ref>
<ref name="ms48">{{Cite book |last=Dean |first=Neville |title=Logic and language |date=2003 |publisher=Palgrave Macmillan |isbn=978-0-333-91977-4 |location=Basingstoke |pages=66}}</ref>
<ref name="ms49">{{Cite book |last1=Chiswell |first1=Ian |title=Mathematical logic |last2=Hodges |first2=Wilfrid |date=2007 |publisher=Oxford university press |isbn=978-0-19-857100-1 |series=Oxford texts in logic |location=Oxford |pages=3}}</ref>
<ref name="ms50">{{cite web |last=Toida |first=Shunichi |date=2 August 2009 |title=Proof of Implications |url=http://www.cs.odu.edu/~toida/nerzic/content/logic/prop_logic/implications/implication_proof.html |access-date=10 March 2010 |work=CS381 Discrete Structures/Discrete Mathematics Web Course Material |publisher=Department of Computer Science, [[Old Dominion University]]}}</ref>
<ref name="ms51">{{Cite web |title=Natural Deduction Systems in Logic > Notes (Stanford Encyclopedia of Philosophy) |url=https://plato.stanford.edu/entries/natural-deduction/notes.html#note-21 |access-date=2024-04-19 |website=plato.stanford.edu |language=en}}</ref>
<ref name="ms52">{{citation|last = Andrews |first = Peter B. |doi = 10.1007/978-94-015-9934-4 |edition = Second |isbn = 1-4020-0763-9| mr = 1932484| page = 201| publisher = Kluwer Academic Publishers, Dordrecht| series = Applied Logic Series | title = An introduction to mathematical logic and type theory: to truth through proof | url = https://books.google.com/books?id=nV4zAsWAvT0C&pg=PA201| volume = 27| year = 2002}}</ref>
<ref name="ms53">{{Cite book |last=Matthes |first=Ralph |url=https://books.google.com/books?id=MnfcyigJ898C |title=Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types |date=1999 |publisher=Herbert Utz Verlag |isbn=978-3-89675-578-0 |pages=23 |language=en}}</ref>
<ref name="ms54">{{Cite web |title=Predicate Logic |url=https://www3.cs.stonybrook.edu/~skiena/113/lectures/lecture26/lecture26.html |access-date=2024-03-22 |website=www3.cs.stonybrook.edu}}</ref>
<ref name="ms55">{{Cite web |title=Philosophy 404: Lecture Five |url=https://www.webpages.uidaho.edu/~morourke/404-phil/Summer-99/Lecture%20Notes/5.htm |access-date=2024-03-22 |website=www.webpages.uidaho.edu}}</ref>
<ref name="ms56">{{Cite book |last=Plato |first=Jan von |title=Elements of logical reasoning |date=2013 |publisher=Cambridge University press |isbn=978-1-107-03659-8 |edition=1. publ |location=Cambridge |pages=9}}</ref>
<ref name="ms57">{{Cite web |title=Propositional Logic {{!}} Brilliant Math & Science Wiki |url=https://brilliant.org/wiki/propositional-logic/ |access-date=2020-08-20 |website=brilliant.org |language=en-us}}</ref>
<ref name="ms58">{{Cite book |last=Quine | first= W. V. O. |author-link= Willard Van Orman Quine |title=Mathematical Logic |year=1980|publisher=[[Harvard University Press]] |isbn=0-674-55451-5}}</ref>
<ref name="ms59">{{Cite book |title=Rudolf Carnap: studies in semantics: the collected works of rudolf carnap, volume 7 |date=2024 |publisher=Oxford University Press |isbn=978-0-19-289487-8 |editor-last=Awodey |editor-first=Steve |location=New York |pages=xxvii |editor-last2=Arnold |editor-first2=Greg Frost-}}</ref>
<ref name="ms60">{{Cite book |last1=Lucas |first1=Peter |url=https://www.cs.ru.nl/P.Lucas/teaching/KeR/logicintro.pdf |title=Principles of expert systems |last2=Gaag |first2=Linda van der |date=1991 |publisher=Addison-Wesley |isbn=978-0-201-41640-4 |series=International computer science series |location=Wokingham, England; Reading, Mass |pages=26}}</ref>
<ref name="ms61">{{Cite web |last=Bachmair |first=Leo |date=2009 |title=CSE541 Logic in Computer Science |url=https://www3.cs.stonybrook.edu/~cse541/Spring2009/cse541PropLogic.pdf |website=Stony Brook University}}</ref>
}}