USA: +1 (725) 712-1730 
Sign in
We have to prove the following using formal proofs in Fitch. The only Con we are allowed to use is TautCon, and it cannot be proven just by chain of equivalences.
Expert Answer
We have to prove the following using formal proofs in Fitch. The only Con we are allowed to use is TautCon, and it cannot be proven just by chain of equivalences.
