Problem One

Show whether or not P<->Q is logically equivalent to (P->Q) ^ (Q->P)

Problem Two

Translate these statements into English

a) ?x(C(x) ? F(x))

b) ?x(C(x) ? F(x))

c) ?x(C(x) ? F(x))

d) ?x(C(x) ? F(x))