Substitution : For each of the following sentences and providedsubstitution instances using 'a', state whether the substitutioninstance is correct. If not, provide a correctalternative.
5. (∀x){[Px & (∀y)(Ley ⊃ Lxy)] ⊃ (∃z)[Pz & (∀x)(Lxe ⊃Lxz) & Lxz]} Substitution instance: [Pa & (∀y)(Ley ⊃ Lay)]⊃ (∃z)[Pz & (∀x)(Lae ⊃ Laz) & Laz]
Substitution : For each of the following sentences and provided substitution instances using 'a', state whether the subs
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am