This is from a text on mathematical logic. The theorem to be proven (specialization):(adsbygoogle = window.adsbygoogle || []).push({});

If Δ [itex]\vdash[/itex] [itex]\forall[/itex]vP, then Δ [itex]\vdash[/itex]P(t/v), provided thatPadmitstforv.

My confusion concerns the use of modens ponens in the proof:

Suppose that Δ [itex]\vdash[/itex] [itex]\forall[/itex]vPandPadmitstforv. Then modus ponens applied to Δ [itex]\vdash[/itex] [itex]\forall[/itex]vPand [itex]\vdash \forall[/itex]vP[itex]\rightarrow[/itex]P(t/v)(Axiom Scheme A5) gives Δ [itex]\vdash[/itex]P(t/v).

I have never seen this before and do not understand how it is legal or exactly what it means to use modus ponens on statements containing Δ (a set of formulas used as premises) and [itex]vdash[/itex]. It seems the latter are simply ignored, yet they are crucial to the meaning of the statement.

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

# Modus Ponens on A Statement of Deduction?

Loading...

Similar Threads - Modus Ponens Statement | Date |
---|---|

I Equivalence of quantified statements | Feb 22, 2018 |

I Contrapositive of quantified statement | Feb 2, 2018 |

I Using Logical Equivalences to Simplify a Statement | Sep 5, 2016 |

How to express this statement using quantifiers | Jan 14, 2016 |

Modus Ponens on A Deduction? | Nov 11, 2013 |

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