Recent content by stan1992

≡(∀x)(∃y)(∃z)[(F(x,y)∧G(x,z))∧¬H(y,z)]

(∀x)(∃y)(∃z)(¬F(x,y)V¬G(x,z)∧¬H(y,z)) ¬G is because of Dem. and ¬H from the Def→ right?

Prove that the expression below is a valid argument using the deduction method (that is using equivalences and rules of inference in a proof sequence) (∃x)[P(x) → Q(x)]∧(∀y)[Q(y) → R(y)]∧(∀x)P(x) → (∃x)R(x) 1.(∃x)[P(x) → Q(x)] prem 2.(∀y)[Q(y) → R(y)] prem 3.P(x)→Q(x) 1,ui 4.P(x) 2,ui...

≡(∀x)(∃y)(∃z)[¬F(x,y)VG(x,z))∧H(y,z)] Would this be it?

≡(∀x)(∃y)(∃z)[¬(F(x,y)∧G(x,z))→¬H(y,z)] ≡(∀x)(∃y)(∃z)[¬F(x,y)∨¬G(x,z)→¬H(y,z)] Is this correct?

(∃x)[P(x) → Q(x)]∧(∀y)[Q(y) → R(y)]∧(∀x)P(x) → (∃x)R(x)

∃x∀y∀z[(F(x, y)∧G(x,z)) → H(y,z)]