Double Negation/Double Negation Introduction

Proofs
By the tableau method of natural deduction: