Does "the alphabet of the language of propositional logic" have no function symbols, relation symbols, and constants?

logic computer-science propositional-calculus

Exactly. Propositional logic has only propositional variables and connectives (and parentheses).

See page 201, Def.4.1.

You may have different languages according to the set of basic connectives used.

Related

Does the equation have a real solution...please help! [duplicate]
Finite extension of domains : preimage of non-zero ideal is non-zero?
Could not parse date parameter: Invalid Date issue in Safari and Firefox
How do I check the series $\sum_{n=2}^{\infty} \frac{(-1)^n }{n+(-1)^n}$ for absolute convergence/conditional convergence?
Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.
How to resolve an error: The sandbox is not in sync with the Podfile.lock
What's in your .emacs?
Add bounds to map to avoid swiping outside a certain region
WARNING: On macOS, drake-visualizer is deprecated and will be removed from Drake on or after 2022-04-ˊ ˇ ˋ
Notification system using php and mysql
How do you update multiple field using Update.Set in MongoDB using official c# driver?
how to reload component back to original state when a prop changes in react