Prove

(De Morgan for "À)

with no assumptions.

We prove (De Morgan for "À) by natural deduction.

We prove (De Morgan for "À) in both directions.

Direction from left to right:

Direction from right to left: