Tableau 健全性と完全性の証明

Soundness

Completeness