Hello, thank you by return.
I understand the theory that a set, but I need to prove it by natural deduction, this theory is known as "Natural deduction rules for theory set"
Link to example: http://tellerprimer.ucdavis.edu/pdf/1ch6.pdf
Hello fine.
I'm studying logic and great difficulties to understand its principles, and should prove some theories involving the laws of identity of sets of mathematics using the method of natural deduction, they are:
a) A ∪ ∅ = A
b) A ∩ ∅ = ∅
I am trying as follows, but I can not solve...