For each of following sentences and accompanying existential oruniversal generalization on the name ‘a’, state whether thegeneralization is correct. If not, provide a correct alternative.(For the universal generalizations, you may assume that all namesin the sentences are arbitrary.)
[(Ba ⊃ Lay) ≡ Ax] ⊃ Lxa
Universal generalization: (∀z){[(Bz ⊃ Lzy) ≡ Ax] ⊃ Lxz}
.(Tay v Paa) & Fza
Existential generalization: (∃x)[(Txy v Pxa) & Fzx]
Ra & Pa & (∃z)Fz & (∃y)Tay
Universal generalization: (∀x)(Rx & Px & (∃z)Fz &(∃y)Tay)
For each of following sentences and accompanying existential or universal generalization on the name ‘a’, state whether
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am