Question

求大佬帮忙解一下这几道题，离散数学的





Answer 1

应该可以的，也不太确定

Answer 2

(∃x)F(x),(∀x)(F(x)∨G(x)→H(x))=>(∃x)H(x)

⑴(∃x)F(x)    P

⑵F(a)    ES⑴

⑶(∀x)(F(x)∨G(x)→H(x))    P

⑷F(a)∨G(a)→H(a)    US⑶

⑸¬(F(a)∨G(a))∨H(a)    T⑷E

⑹(¬F(a)∧¬G(a))∨H(a)    T⑸E

⑺(¬F(a)∨H(a)) ∧ (¬G(a)∨H(a))    T⑹E

⑻¬F(a)∨H(a)    T⑺I

⑼F(a)→H(a)    T⑻E

⑽H(a)    T⑵⑼I

⑾(∃x)H(x)    EG⑽

---

(∃x)F(x)∧(∀x)G(x)=>(∃x)(F(x)∧G(x))

⑴(∃x)F(x)∧(∀x)G(x)    P

⑵(∃x)F(x)    T⑴I

⑶F(a)    ES

⑷(∀x)G(x)    T⑴I

⑸G(a)    US

⑹F(a)∧G(a)    T⑶⑸I

⑺(∃x)(F(x)∧G(x))    EG⑹