Recent content by Saduina

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...