If I have P l- Q in FOL and P is closed, can I infer l- P -> Q. IIRC, this is valid as long as P is closed, but my memory is a little hazy. Is that how it works?(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!

# Deduction theorem for first order logic

Loading...

Similar Threads - Deduction theorem order | Date |
---|---|

A Cubic quartets? | Feb 15, 2018 |

Sound Wave Equation Deduction | Oct 8, 2014 |

Alternative deduction of sum of sine and cosine | May 26, 2014 |

Formula deduction. | Mar 19, 2010 |

Basis of mathematical deduction | Jan 3, 2010 |

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