Open Educational Resources

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
Document 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
Document Exercises 4 (Solution for 5)

Solutions for the three natural deductions of exercise 5a–c.

Formal logic, natural deduction view
Document 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
Subscribe to natural deduction