Can anyone tell me if the universal quantifier distributes over material conditionals in standard first order logic? Does (v)(Mv → Pv) imply {v)Mv -> (v)Pv? Does the implication work the other way too? Thanks.(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

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

# Simple logic question

**Physics Forums | Science Articles, Homework Help, Discussion**