Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Deduction theorem for first order logic

  1. Mar 13, 2008 #1
    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?
  2. jcsd
  3. Mar 14, 2008 #2
    Let me elaborate on my question. Say that we have T l- S. In order to infer l- T -> S, what restrictions must be placed on the formulas? How does the deduction theorem for first order logic depend upon the rules of inference that are allowed?
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

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