Talk:Symbolic Logic:Programming:Value Set Proof

Proofs not complete yet. Having some trouble.

What I am proving doesnt prove the actual result. Yuck. Thepigdog 04:45, 30 June 2011 (EDT)