- #1
Goldenwind
- 146
- 0
Can someone explain to me what the heck Post's Theorem is? Every time my professor does something that seems to make absolutely no sense, he sites his method as "Post". I've compared the various times he uses Post, and there seems to be no pattern. I'm beginning to think that he just uses it to excuse something he wants to make it (I know this isn't true, but seems like it).
I've tried looking it up. Both the textbook and wikipedia just give a tonne more symbols that I don't understand.
Cut rule, for example, is simple: |- A -> B becomes A |- B
Can someone lay out Post simply like that? :(
I've tried looking it up. Both the textbook and wikipedia just give a tonne more symbols that I don't understand.
Cut rule, for example, is simple: |- A -> B becomes A |- B
Can someone lay out Post simply like that? :(