Activity 1 Introduction

This activity is all about propositional logic. Propositional logic is like the DNA of computer science, the building blocks that form the foundation of all things computational. By combining simple statements with what we call operators such as “and”, “or” and “not,” you can create logic rules that help you reason about the truth or falsehood of a statement. It’s like having a toolkit that allows you to build logical structures to make sense of even the most complicated scenarios.

From creating software to building AI systems, propositional logic is an essential tool in your computer science toolkit. You can use it to detect bugs, optimise your code, and even prove the correctness of your program.

So, are you ready to unlock the secrets of propositional logic? Let’s go and power up your brain!

This activity will explain what propositional logic is, and address some of the reasons why you might want to study it. You will be introduced to compound propositional logic and how you can use truth tables as a tool to enable you to get a better understanding of it.