Abstract
The first step in giving a formal account of first order logic (for which excellent introductory textbooks are due to Mendelson [1978] and van Dalen [1982]) is of course to specify, in a rigorous way, a language for it since, as indicated in Section 2.1, a language is required if a logic is to be defined. There exist infinitely many languages for first order logic, all of them sharing the same core set of special symbols and rules of construction of formulas. The set of symbols (an alphabet) that a first order language employs is as follows.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.