Magnus et al., forall x: Calgary, Natural deduction for TFL, Proof-theoretic concepts, Exercise D
Back to Proof-theoretic concepts
Exercise D
Avg difficulty 3.0Adapted from forall x: Calgary © 2025 P. D. Magnus, Tim Button, Robert Trueman, and Richard Zach. Licensed under CC BY 4.0. Source: forall x: Calgary. Imported at revision ec34df8.