First order logic : definitions


by Saduina
Tags: definitions, first-order logic, monadic
Saduina
Saduina is offline
#1
Dec19-12, 04:02 PM
P: 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
Phys.Org News Partner Science news on Phys.org
Going nuts? Turkey looks to pistachios to heat new eco-city
Space-tested fluid flow concept advances infectious disease diagnoses
SpaceX launches supplies to space station (Update)
Stephen Tashi
Stephen Tashi is offline
#2
Dec21-12, 11:31 AM
Sci Advisor
P: 3,173
Quote Quote by Saduina View Post
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).
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.


Register to reply

Related Discussions
LOGIC: A Request for Clarification of definitions General Discussion 4
First order Logic Set Theory, Logic, Probability, Statistics 6
Second Order Predicate Logic vs. First Order General Math 3
i cant see the logic of thes definitions.. Calculus & Beyond Homework 6
the logic behind definitions General Math 9