Hello, I have no idea how to solve this proof and would actually appreciate your help. I cannot use soundness or completeness.(adsbygoogle = window.adsbygoogle || []).push({});

⊢ (∀x.ϕ) →(∃x.ϕ)

Thanks

**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!

# Quantifier proof Question

Loading...

Similar Threads - Quantifier proof Question | Date |
---|---|

I An easy proof of Gödel's first incompleteness theorem? | Mar 6, 2018 |

I Equivalence of quantified statements | Feb 22, 2018 |

I Contrapositive of quantified statement | Feb 2, 2018 |

I Negating the uniqueness quantifier | Jan 25, 2018 |

I Nested Quantifier Problem | Apr 15, 2017 |

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