Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

First order logic : definitions

  1. Dec 19, 2012 #1
    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 does monadic mean ? Monadic terms, litterals, ...

    Thank you
    Last edited: Dec 19, 2012
  2. jcsd
  3. Dec 21, 2012 #2

    Stephen Tashi

    User Avatar
    Science Advisor

    I'm not a logician, so I'm unsure of how standardized such terminology is.

    I'll give your thread a bump by noting that the current Wikipedia article on first order logic does not define the term "atom". It does define terms where the adjective "atomic" appears, such as "atomic formulas". The fact the adjective "atomic" appears in terminology doesn't require that the definition of the noun "atom" must be established.

    Perhaps if you quote or cite some of the material that confuses you, another forum member can sort it out.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook