Monday 7 September 2009

How Can I Prove My Love For You?

∃x(M(x) → ∃y(D(y) ∧ L(x, y)))

1 comment:

  1. To prove this one would need to produce a witness for x, call it m, such that M(m) is false, or, produce witnesses for x and y, call then m and d, such that D(d) and L(m,d), though you need not have M(m).

    Love, it seems, eludes logic.

    ReplyDelete