Revision as of 23:50, 13 January 2019 edit Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits m linking ← Previous edit		Revision as of 23:50, 13 January 2019 edit undo Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits fixing a broken link Next edit →
Line 1: In [[logic]], a '''conditional quantifier''' is a kind of [[Lindström quantifier]] (or [[generalized quantifier]]) ''Q''<sub>''A''</sub> that, relative to a classical model ''A'', satisfies some or all of the following conditions ("''X''" and "''Y''" range over arbitrary formulas in [[one [[free variable]]): {\| \|-

Conditional quantifier: Difference between revisions