Difference between revisions of "Sentential Logic"
Jump to navigation
Jump to search
(Created page with "==Resources== * [https://link-springer-com.libweb.lib.utsa.edu/book/10.1007%2F978-1-4419-7127-2 Course Textbook], pages 15-45 * [http://discrete.openmathbooks.org/dmoi2/sec_pr...") |
|||
Line 3: | Line 3: | ||
* [http://discrete.openmathbooks.org/dmoi2/sec_propositional.html Propositional Logic], Discrete Mathematics: An Open Introduction by Oscar Levin | * [http://discrete.openmathbooks.org/dmoi2/sec_propositional.html Propositional Logic], Discrete Mathematics: An Open Introduction by Oscar Levin | ||
* [https://www.cs.sfu.ca/~ggbaker/zju/math/logic.html Propositional Logic], Simon Fraser University | * [https://www.cs.sfu.ca/~ggbaker/zju/math/logic.html Propositional Logic], Simon Fraser University | ||
− | + | ||
+ | See [[Statements|statements]] for more on statements and how to use connectives to form logical statements. |
Revision as of 16:17, 21 September 2021
Resources
- Course Textbook, pages 15-45
- Propositional Logic, Discrete Mathematics: An Open Introduction by Oscar Levin
- Propositional Logic, Simon Fraser University
See statements for more on statements and how to use connectives to form logical statements.