In formal Logic (Fitch Format), how do I prove ~A v B corresponds to A -> B

Printable View