2 ms·
Could you explain that a little for me? Do you mean substituting a term to show a counter-example?
by codebje 6y ago
Could you explain that a little for me? Do you mean substituting a term to show a counter-example?
- Gehinnn 6y agoIf you want to prove "\forall x: A(x)", you start with "let x be a free variable. It remains to show A(x)".
- codebje 6y agoWouldn't that only show \exists x: A(x)? Or perhaps by free variable you mean one whose value isn't decidable - but that contradicts having chosen values in the origin comment.