Hi all,
Just a few question about FOL logic.
What is the difference between terms and atoms, I read lot's of differents definitions, then when I think that I've understood, I find an exemple where both are used without any difference (for ordering by instance).
An another question is :
What...