Substitution : For each of the following sentences and provided substitution instances using 'a', state whether the subs
Posted: Thu Jul 07, 2022 2:19 pm
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]
5. (∀x){[Px & (∀y)(Ley ⊃ Lxy)] ⊃ (∃z)[Pz & (∀x)(Lxe ⊃Lxz) & Lxz]} Substitution instance: [Pa & (∀y)(Ley ⊃ Lay)]⊃ (∃z)[Pz & (∀x)(Lae ⊃ Laz) & Laz]