2. Then (q ⋁ ¬q) [method of simplification]
3. Then True [(2) is a tautology]
4. Then (p ⋀ (q ⋁ ¬q)) is correct independent of assumption (1) [erroneous]
5. Then p [method of simplification]