open.conted.ox.ac.uk (beta)

Open Educational Resources

Exercise 4, 6c (Additional Note 4)

Document

On the question whether every formula in a natural deduction needs to be used.

People: 
Date created: 
Sunday, June 1, 2014
Attribution for this resource:
Exercise 4, 6c (Additional Note 4), © Peter Wyss, licensed under CC BY-NC-SA.
Subjects: 
Courses using this resource: