二重否定：¬¬p ⊨ p は妥当か？

¬¬p と p は同じ行で真なので、二重否定はどこにあっても外せます。否定は二つで打ち消し合います。