Mathematical Logic

Some digital systems content, sentinal logic, prediate logic, graph theory

Read: Discrete Mathematics and Its Applications by Kenneth H. Rosen

• Syllabus

• Formula Sheet

• YouTube Playlist

Notes:

• We studied sentential logic as part of the course, but it is often referred to as Propositional logic/calculus

• We also used a system called L arrow which exists in sentential logic (sometimes called language PC)

• I advise reading the Rosen Discrete Math Book, in the first few hundred pages… it covers most of what the course does.

Useful Links

• Propositional Logic

• A Brief Overview of Logic

• Math Logic Course - Stonybrook

• Hebrew Discrete Math Book

• Truth Tables, Tautologies, and Logical Equivalences

• Explaining Quantifiers

• Deductions

Wikipedia Articles relevant to subject

https://en.wikipedia.org/wiki/Propositional_calculus (Sentential Logic, L-> and L2)

https://en.wikipedia.org/wiki/Hilbert_system

https://en.wikipedia.org/wiki/Formal_system#Logical_system

https://en.wikipedia.org/wiki/First-order_logic (For all, There exists)

Calculators and tools

• Truth Table Generator

• Logic Calculator: Truth Tables

• Another logic calculator - quite good

• Tree Proof Generator

• SymPy - python library for logic

Python and programming aren’t required for the course but its a good way to check your work! and view my sample program for testing logic * here using the SymPy library

we also studied graph theory in the end of the course… I will add some more info on that as well!