Having watched this video, you should be able to count how many different Euler diagrams there should be for three predicates. Can you draw them all?

You should also check you can recognise and name the following symbols: ¬ ⋀ ⋁ ⊨ .