Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!
Why in first order logic theories are not possible a demonstration with infinite steps?
 Similar Discussions: Why in first order logic theories are not possible a demonstration with infinite steps?

Propositional and First Order Logic (Replies: 16)

Infinite logic (Replies: 4)

Deduction theorem for first order logic (Replies: 1)

Second Order Predicate Logic vs. First Order (Replies: 3)
Loading...