Discrete Mathematics

Logic

In this section, on propositional calculus, we will discuss how we analyse statements and how to construct more complex statements using logical operators. This is basis on how computers (and sometimes humans) make decisions.

Introduction to Propositional Logic
- Propositions and fundamental logical operators (AND, OR and NOT).
- Evaluating logical expression using truth tables.
- Satisfiability, Tautologies and Contradictions.
- Handout
- Presentation
Conditionals
- Conditional and the \textIFTHEN\ operator
- Bi-conditionals and the \textIFF\ operator
- Converse vs Contrapositive and Necessary vs Sufficient
- Handout
- Presentation
Quantifiers
- Universal and Existential Quantifiers
- Quantifiers and Negation
- Handout
- Presentation
Rules of Inference
- Constructing arguments in propositional logic
- Normal forms
- Handout
- Presentation
Practical 01 - Logic 1 - Truth Tables

In our first (proper) practical we look at propositional logic using Python.

(Note: To reopen a notebook that you were working on in an earlier session of Colab, select Open Empty Notebook in Colab. Then use menu File->Open Notebook to open your notebook with your saved work.)
Practical 02 - Logic 2 - Applications

In this practical we study some problems using logic and python.

(Note: To reopen a notebook that you were working on in an earlier session of Colab, select Open Empty Notebook in Colab. Then use menu File->Open Notebook to open your notebook with your saved work.)
Tutorial Sheet 01 - Logic
Tutorial sheet for theory questions relating to logic.
- Tutorial Sheet 01 - Logic
Chapter Summary - Logic
Summary of chapter (concepts/tasks/next steps)
- Chapter Summary - Logic

Logic

Introduction to Propositional Logic

Conditionals

Quantifiers

Rules of Inference

Practical 01 - Logic 1 - Truth Tables

Practical 02 - Logic 2 - Applications

Tutorial Sheet 01 - Logic

Chapter Summary - Logic