Definition:Existential Statement/Conditional

From ProofWiki
Jump to: navigation, search

Definition

A conditionally existential statement is an existential statement which states the existence of an object fulfilling a certain propositional function dependent upon the existence of certain other objects.


Absolutely Existential Statement

An absolutely existential statement is an existential statement which states the existence of an object without that existence being dependent upon other conditions.


Also known as

  • A conditionally existential statement is also known as a conditionally existential sentence.


Sources