$2\mathrm{.}25$ language proof and logic $66/$ THE LoGIC OF ATOMIC SENTENCES Each of the following problems presents a formal argument in the blocks language. If the argument s valid, submit a proof of it using Fitch. $($You will find Erercise files for each of these in the usual plon Important: if you use Ana Con in your proof, cite at most two sentences in each application.I argument is not valid, submit a counterezample world using Tarski's World $2\mathrm{.}24$ Larger$($b$.$c$)2\mathrm{.}25|$FrontOf $($a$,$ b$)$ Smaller$($b$,$d$)$ SameSize$($d$,$ e$)$ Larger$($e$,$ c$)$ LeftOf $($a$,$ c$)$ SameCol$($a$,$ b$)$ FrontOf $($c$,$ b$)2\mathrm{.}26|$SameRow$($b$,$c$)2\mathrm{.}27$ SameRow$($b$,$ c$)$ SameRow$($a$,$ d$)$ SameRow$($d$,$f$)$ FrontOf $($a$,$ b$)$ FrontOf $($f$,$ c$)$ SameRow$($a$,$d$)$ SameRow$($d$,$ f$)$ LeftOf $($a$,$ b$)$ LeftOf $($f$,$c$)$ SECTION $2\mathrm{.}6$ Alternative notation You will often see arguments presented in the in Fitch format. The symbol $($read "ther followin conclusion: srather than the is used to indicate All men are mortal. Socrates is a man. $..$ Socrates is mortal. notation. We can't possibly cover all of these altete one, the resolution method, in Chapter $17$ systems, each with its own alternatives, though we deseri There is a huge variety of formal deductive