***Please use Fitch to come up with a correct formal proof forthis problem; please give detailed explanations of youranswers. The following sentences are all tautologies, and so should be provable in \( \mathcal{F} \). Although the informal proof are relatively simple, \( \mathcal{F} \) makes fairly heavy going of them, sinc 1 answer