Recent content by emanoelvianna

  1. emanoelvianna

    Natural deduction sets (Rules of nature deduction)

    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
  2. emanoelvianna

    Natural deduction sets (Rules of nature deduction)

    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...
Back
Top