Course: An Introduction to Logic for Computer Science

Using the puzzle from the previous activity, share your new understanding of logic with a friend or family member by explaining how to model and solve the puzzle. Teaching someone …

Recap: a simple proposition Let’s look again at a simple proposition: “If it rains, then I will stay indoors.” To see how this compound proposition works we will need two …

Now that we have seen what a proposition is, we can connect propositions together to make more complicated logic expressions. The conjunction operator The statement “I like coffee and I …

Earlier, we introduced the symbols (T) to represent true, and (F) to represent false. As you progress through the course, you will be introduced to other symbols and notation used in propositional logic. We …

The world is filled with logic puzzles, whether they are the kind of puzzles you might complete in your free time, such as Sudoku, or whether they are puzzles in …

In this activity, you will work through the exercise in the previous activity again but with a twist – you are asked to share your new understanding of logic with …

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 …

Welcome to An Introduction to Logic for Computer Science. This course is a journey into the inner workings of computing; the very building blocks of computer science. In this course, …

Previously, you learned about constructing a truth table. You found out that you can use truth tables to work out the truth value of compound propositions using the logic operators …

In this activity, we will learn how we can apply logic to solve puzzles. We are going to do some logical reasoning – the ultimate mental workout! It’s a dynamic …