8
$\begingroup$

I'm trying to learn predicate logic.

And I'm looking for some good resources on it:

I've seen that I learn better when I can program So I was wondering if there was a 'predicate logic' programning language?

Maybe an interactive tutorial?

Maybe lots of examples, something like: Predicate Logic by Example?

Or at least some pretty basic books?

TIA

  • 3
    Community Wiki!2010-09-05

2 Answers 2