Definition of an atomic sentence

  • Context: Undergrad 
  • Thread starter Thread starter Matthias765
  • Start date Start date
  • Tags Tags
    Atomic Definition
Click For Summary
SUMMARY

An atomic sentence is defined as a statement that contains no logical connectives such as negation (~), conjunction (&), disjunction (v), implication (->), or biconditional (<->). Examples of atomic sentences include single letters like P, Q, B1, and B2. In contrast, a molecular sentence is formed by combining one or more atomic sentences with one or more connectives, such as ~P, (P & Q), or (P v ~Q). Understanding these definitions is crucial for grasping the fundamentals of propositional logic.

PREREQUISITES
  • Basic understanding of propositional logic
  • Familiarity with logical connectives
  • Knowledge of symbolic representation in logic
  • Ability to differentiate between atomic and molecular structures
NEXT STEPS
  • Study the properties of logical connectives in propositional logic
  • Learn about truth tables and their application to atomic and molecular sentences
  • Explore the concept of logical equivalence and its significance
  • Investigate the role of quantifiers in predicate logic
USEFUL FOR

Students of logic, educators teaching propositional logic, and anyone interested in understanding the foundational elements of logical reasoning.

Matthias765
Can somebody please tell me what is the definition of an atomic sentence and the definition of a molecular sentence? Thanks

:smile: :cool:
 
Physics news on Phys.org
Atomic sentences have no connectives (~, &, v, ->, <->), and are usually represented by capital letters, sometimes using subscripts:

P
Q
B1
B2
etc.

A molecular sentence is composed of one or more atomic sentences and one or more connectives:
~P
(P & Q)
(P v ~Q)
~(B1 -> B2) & B3
etc.

Do you need to know more than that?
 
Last edited:
Thanks for telling me about atomic and molecular sentences, that's all I need to know for now.
 

Similar threads

Undergrad Cardinality of Theorems vs True Sentences in a Theory
  • · Replies 7 ·
Replies
7
Views
2K
Undergrad [(Linear) Temporal Logic] Are the given sentences consistent or not?
  • · Replies 8 ·
Replies
8
Views
2K
In the definition of "look on", what does it mean by "stated way"?
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Microstates of an atom in an energy state
  • · Replies 1 ·
Replies
1
Views
1K
Undergrad What Is the Probability Atom A Will Emit a Photon Before Atom B?
  • · Replies 4 ·
Replies
4
Views
2K
Undergrad Group extensions (question about definitions)
  • · Replies 0 ·
Replies
0
Views
2K
Undergrad Kripke's fixed point for truth predicate: justification?
  • · Replies 4 ·
Replies
4
Views
2K
Undergrad What Are the Philosophical Implications of Godel's Incompleteness Theorems?
  • · Replies 34 ·
2
Replies
34
Views
4K
High School What is the converse statement of the given sentence?
  • · Replies 17 ·
Replies
17
Views
2K
Undergrad Physical Meaning of Atomic Oscillations
  • · Replies 11 ·
Replies
11
Views
2K