Each of the following problems presents a formal argument in the blocks language. If the argument is valid, submit a proof of it using Fitch. (You will find Erercise files for each of these in the usual place.) Important: if you use Ana Con in your proof, cite at most two sentences in each application. If the argument is not valid, submit a countererample world using Tarski’s World. 2.24 2.25 Larger(b, c) Smaller(b, d) SameSize(d, e) Larger(e, c) FrontOf(a, b) LeftOf(a, c) SameCola, b) FrontOf(c,b) 2.26 2.27 SameRow(b, c) SameRow(a, d) SameRow(d, f) LeftOf(a,b) LeftOf(f, C) SameRow(b, c) SameRow(a, d) SameRow(d, f) FrontOf(a,b) FrontOf(f,c) Show transcribed image text Each of the following problems presents a formal argument in the blocks language. If the argument is valid, submit a proof of it using Fitch. (You will find Erercise files for each of these in the usual place.) Important: if you use Ana Con in your proof, cite at most two sentences in each application. If the argument is not valid, submit a countererample world using Tarski’s World. 2.24 2.25 Larger(b, c) Smaller(b, d) SameSize(d, e) Larger(e, c) FrontOf(a, b) LeftOf(a, c) SameCola, b) FrontOf(c,b) 2.26 2.27 SameRow(b, c) SameRow(a, d) SameRow(d, f) LeftOf(a,b) LeftOf(f, C) SameRow(b, c) SameRow(a, d) SameRow(d, f) FrontOf(a,b) FrontOf(f,c)
Expert Answer
Answer to Each of the following problems presents a formal argument in the blocks language. If the argument is valid, submit a pro…