Good evening everyone,
With regards to ((A & B) V nA) V nB, I found this sentence to be a tautology, where the LEM applies. I am trying to create a formal proof in Fitch to show that it is indeed a tautology, but don't know which direction to go in.
Any help is greatly appreciated. Thank you
& represents the conjunctive
V the disjunctive
n is negation