Open Educational Resources


Here you will find all the resources identified by our tutors as useful for the study of this topic, arranged in ascending alphabetical order. Browse the tiles and descriptions to discover if there are any resources of interest to you, or click on any of the other keywords to see resources sorted by alternative topics.

Displaying 1 - 3 of 3
Type Title Description Keywords Full details
Document Handout 14: Predicate Logic III

The tree method sketched, predicate logic with identity (QL=), extensionality, second-order predicate logic.

predicate logic, formal, identity, extensionality view
Document Practice: QL and QL= (Solutions)

Solutions to the QL/QL= Worksheet.

Formal logic, predicate logic, identity view
Document Practice: QL and QL= (Worksheet)

Translation exercises.

predicate logic, Formal logic, identity view
Subscribe to identity