The basic expressions of predicate logic are atomic formulae and logical connectives.Atomic formulae is a formulae with no interesting part whereas logical connectives are used in joining two sentences in a way which is grammatically correct.An example of such is the word and or the word or.
