Question

Symbolic Logic. The following arguments are translations of those given in Exercises 8.3-8.9. (For simplicity we have assumed \the unicorn" refers to a specic unicorn named Charlie. This is less than ideal, but the best we can do without quantiers.) Use Fitch to formalize the proofs you gave of their validity.

8.37 Cube(a) V Dodec(a) V Tet(a) Small(a) V Medium(a) V Large(a) Medium(a) Dodec(a) Tet(a) Large(a) Cube(a) Small (a)

Answer 1

SoluEian P0 of: (small (d) V smalle) Small c) Small (c (d) Sma i Smai1 (b) Small (e) (c) Small Elm1,4 5 Small (d) V Small (d) Elin:a6 Small Cc) Intio: ,} Sma Il (6) elim: 8 Sma 1 (e) Small (b) -Eln3,1D vElim:56,011 Small (6) Jndo412 Small Cc) 13. Smallb) cS Scanned with CamScanner