predicate logic
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 - 7 of 7| Type | Title | Description | Keywords | Full details |
|---|---|---|---|---|
 |
Exploring ND Rules for QL (Additional Notes 6) |
An attempt to clarify the rule for Universal Introduction and Existential Eliminiation. |
predicate logic, natural deduction | view |
|
|
Handout 12: Predicate Logic I |
The limits of syllogistics; introduction to QL and its syntax. |
Formal logic, predicate logic, quantification | view |
|
|
Handout 13: Predicate Logic II |
The semantics of QL, vailidity, and a sketch of natural deduction. |
predicate logic, Formal logic | view |
|
|
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 |
|
|
More on Reading QL (Additional Note 5) |
Further background on the quantifiers; some equivalences explained. |
Formal logic, predicate logic, quantifier | view |
|
|
Practice: QL and QL= (Solutions) |
Solutions to the QL/QL= Worksheet. |
Formal logic, predicate logic, identity | view |
|
|
Practice: QL and QL= (Worksheet) |
Translation exercises. |
predicate logic, Formal logic, identity | view |
