Hi, I have a question (natural deduction),
and the question says :
construct a natural deduction proof, where y is not free in A. What does it mean by 'where y is not free in A'?
This question shall not use algebraic laws. Just introduction and elimination rules.
Thank you.