Talk:Symbolic Logic:Programming:Value Set Proof

From Knowino
Jump to: navigation, search

Proofs not complete yet. Having some trouble.

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

Personal tools
Variants
Actions
Navigation
Community
Toolbox