I think you want to say $$\top\to X\vee\neg X,$$ the converse being "for free".