Revision as of 21:41, 27 April 2003 edit Toby Bartels (talk \| contribs) Administrators 8,880 edits m Typos. ← Previous edit		Revision as of 21:42, 27 April 2003 edit undo Toby Bartels (talk \| contribs) Administrators 8,880 edits m Remove weird space. Next edit →
Line 56: This schema states (in one form), for any functional predicate <i>F</i> in one variable: : ∀ <i>A</i>, ∃ <i>B</i>, ∀ <i>C</i>, <i>C</i> ∈ <i>A</i> → <i>F</i>(<i>C</i>) ∈ <i>B</i>. ~~F irst~~First, we must replace <i>F</i>(<i>C</i>) with some other variable <i>D</i>: : ∀ <i>A</i>, ∃ <i>B</i>, ∀ <i>C</i>, <i>C</i> ∈ <i>A</i> → <i>D</i> ∈ <i>B</i>. Of course, this statment isn't correct; <i>D</i> must be quantified over just after <i>C</i>: : ∀ <i>A</i>, ∃ <i>B</i>, ∀ <i>C</i>, ∀ <i>D</i>, <i>C</i> ∈ <i>A</i> → <i>D</i> ∈ <i>B</i>.

Functional predicate: Difference between revisions