In materially implicative propositions, which are compounds of other propositions, e . g . " If P, then Q ", where P and Q are both propositions, and their existential impact is dependent upon further propositions where in quantification existence is instantiated ( existential instantiation ).
मोबाइल