In Propositional Logic most books I read say - Atomic Statements are statements which can't be simplified further.
I find the above definition ambiguous or maybe based on intuition (i.e. what is 'simple')
Is there a more rigorous definition? For e.g. how do I go about proving, that a proposition P is atomic?
(I think this question is important - as I think if you have 'n' atomic statements, they will have more 'information' than any 'n-1' statements and any formula based on the 'n' statements - I know I'm vague here as I do not understand this well and is just intuitions right now)