natural deduction
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 |
|---|---|---|---|---|
 |
Exercise 4, 6c (Additional Note 4) |
On the question whether every formula in a natural deduction needs to be used. |
Formal logic, Validity, natural deduction | view |
|
|
Exercises 4 (Solution for 5) |
Solutions for the three natural deductions of exercise 5a–c. |
Formal logic, natural deduction | view |
|
|
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 |
