Course: An Introduction to Logic for Computer Science

Summary In this activity you have learned about the relationship between artificial intelligence and logic, and why logical thinking remains important when designing, using, and evaluating AI systems. In this …

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, …