Prove ~~~~~(A &~A) is a theorem in SD+

The book l am using the Logic Book

Prove ~~~~~(A &~A) in SD+ is a theorem.

Prove ~~~~~(A & ~A)

1. A. Assume


Any help would be appreciated.