- #1

- 2

- 0

1.) Show that the following holds true. Derive ([tex]\forall[/tex]x)(If ~Mx thenMx) with the assumption ([tex]\forall[/tex]x)(Mx)

2.) Show that the following is valid.

__([tex]\exists[/tex]x) (If Cx then Ch)__

([tex]\exists[/tex]x) (Cx if and only if Ch)