3

Let L the language of classical (two-valued) propositional logic consisting of a denumerable set of sentential variables as well as the usual operations of negation, disjunction, conjunction, implication, and equivalence.

Are all formulas of L sentences?

Beginner
  • 289
  • 1
  • 4
  • 1
    In propositional logic *sentence* and (well-formed) formula are synonyms. Not so for predicate logic. – Mauro ALLEGRANZA Feb 17 '20 at 14:18
  • Classical propositional logic is properly named Mathematical logic. The difference between non Mathematical logic is the definition of some common terminology. The term proposition is distinct between mathematics and philosophy. Sentence variables are needed with the symbolic connectives (the &, V, -->, etc). Each sentence varible could itself be distinct propositions. Likely you would count the whole expression as one proposition. – Logikal Feb 17 '20 at 20:08
  • If the answer below is enough for you, please accept it and we can "close" the post. – Mauro ALLEGRANZA Feb 21 '20 at 10:25

1 Answers1

3

Yes.
The distinction between formulas and sentences in predicate logic is made by specifying that sentences are those formulas in which there occur no free variables. Since there is no such thing as free and bound variables in propositional logic, all formulas are sentences automatically.

Natalie Clarius
  • 2,479
  • 12
  • 17