Course: An Introduction to Logic for Computer Science

In this activity, you have seen a range of logical connectives: disjunction, exclusive disjunction, negation and implication. You have learnt the symbols that represent each in a truth table. These …

If you would like a challenge and some more practice, have a go at the exercises in the PDF files below. If you choose to complete the exercises, here is …

So far we have looked at the following operators: Conjunction operator Disjunction operator Exclusive disjunction operator Negation operator In this step, we will introduce the implication operator. The implication operator …

So far we have looked at the following operators: Conjunction operator Disjunction operator Exclusive disjunction operator In this step, we will introduce the negation operator. The negation operator In spoken …

In the previous step we looked at the disjunction operator. In this step we will introduce the exclusive disjunction operator. The exclusive disjunction Previously we introduced the disjunction operator which …

In this course, you have been introduced to propositional logic. You have seen how you can model natural language sentences as propositional formula in order to be able to solve …

So, was it Albert, Betty, or Clive? Did you manage to work out who stole the cookies? Or did you need to watch the video to understand the logic? How …

In this activity, you have learned how to construct and fill in truth tables. Truth tables are a simple way of examining a propositional statement. You have learned about how …

Be a detective OK, now it’s your turn. Use your logic skills to solve a mystery. Some person or people stole cookies from the cookie jar. The suspects are Albert, …

Now that we have the basics of logic, let’s see an example of how we can use it to describe real-world scenarios. Precisely describing a scenario in logic is referred …

In the previous activity we looked at the conjunction operator. In this step, we will introduce the disjunction operator. The disjunction operator The statement “I like dogs or I like …

Now that you have seen what a proposition is, and have seen what the conjunction operator is (“and”), we can move on and learn about more complicated logic expressions. These …

In the final activity of the course, you practised your skills at solving logic puzzles using propositional logic, which brings the course to an end! Congratulations on getting here! We …

We can also describe the conjunction operation in what we call a truth table. In the table, each column represents a proposition or a compound proposition. In the table below, …

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 …