Your use of Stack Overflow’s Products and Services, including the Stack Overflow Network, is subject to these policies and terms.
Join us in building a kind, collaborative learning community via our updated
Code of Conduct.
It's all in the question really. I am working on a proof in Fitch for a class, but I am very much stuck.
I am proving the tautology that "(P → Q) ↔ (¬P ∨ Q)", and I have already finished half of it, ...
I am currently doing questions for my course from LPL Chapter 13.11.
I have posted the screenshot of what I am trying to do.
I am quite stuck and I can not think of a way to get to ~Tet(a). Any hint ...