Talk:Symbolic Logic:Programming:Value Set Proof

From Knowino

Revision as of 17:12, 10 September 2011 by Thepigdog (talk | contributions)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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)

Retrieved from "http://knowino.org/wiki/Talk:Symbolic_Logic:Programming:Value_Set_Proof"

Personal tools

Community

Toolbox