Deduction theorem for first order logic

  • Thread starter Jeroslaw
  • Start date
8
0

Main Question or Discussion Point

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?
 

Answers and Replies

8
0
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?
 

Related Threads for: Deduction theorem for first order logic

  • Last Post
Replies
16
Views
6K
Replies
3
Views
5K
Replies
8
Views
674
  • Last Post
Replies
4
Views
3K
Replies
4
Views
2K
  • Last Post
Replies
18
Views
3K
Top