A (∨ki) szabályt az [[modus ponens|esetszétválasztás szabálya|esetszétválasztás szabályának]] nevezik. Megjegyezzük, hogy a (∃''x'')'''A''' tekinthető végtelen sok tagú diszjunkciónak is, ha azt gondoljuk, hogy csak megszámlálhatóan sok dolog (szám) létezik. Ekkor (∃''x'')'''A'''(''x'')-re gondolhatunk úgy is, mint valamiféle '''A'''(''t''<sub>1</sub>)∨'''A'''(''t''<sub>2</sub>)∨'''A'''(''t''<sub>3</sub>)∨… kifejezésre, ahol ''t''<sub>1</sub>, ''t''<sub>2</sub>, ''t''<sub>3</sub>, … az összes dolgot jelöli. Természetesn nem tudható, hogy melyik dolog az, amelyik teljesíti az '''A''' tulajdonságot, éppen ez okozza a konstruktivitás problémáját.
