Abstract
Facts less simple than the examples discussed in Chap. 5 are those containing several inductively defined functions. In the present chapter we consider in some detail facts over expressions containing conjunctions and disjunctions. They are seemingly simple, but they are far from trivial as the logical connectives are inductively defined. As a result the verifications of these kinds of facts are much more involved than in the easy cases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ollongren, A. (2013). Compounds. In: Astrolinguistics. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-5468-7_6
Download citation
DOI: https://doi.org/10.1007/978-1-4614-5468-7_6
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-5467-0
Online ISBN: 978-1-4614-5468-7
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)