I'm trying to prove a theorem which makes use of the identity [itex]\exists x (P) \rightarrow P[/itex] (where x is not a free variable of P). Intuitively, I want to believe it, but since I'm trying to do things rigorously, I'd like to be able to justify it to myself. Can anyone offer a suggestion as to how I'd derive the identifier from the usual axioms of first-order logic? (I'm sure that I'm missing something totally obvious). Thanks.(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Vacuous quantification

Loading...

Similar Threads - Vacuous quantification | Date |
---|---|

B Empty domains and the vacuous truth | Dec 26, 2017 |

Vacuous "If then" statements: Can you use direct proofs? | Dec 1, 2014 |

Vacuously True Starting Point | Apr 25, 2013 |

Quantification logic and equivalence relations | Feb 12, 2010 |

Quantifiers, emptiness, and vacuous truth | Feb 7, 2005 |

**Physics Forums - The Fusion of Science and Community**