Abstract
In logic the word ‘proposition’ is used in another meaning from that which we have learnt in grammar.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
For the sake of simplification we omit the notation of class from which the elements are discussed and denoted by the name variables of propositional functions (formulae), bound by the quantifier; we will take for granted that the substitution of variables in the propositional function will be “appropriately” realized. Besides, we will use the quantifiers in reference not only to propositional functions containing name variables but also to the formulae with propositional variables; this simplification may provoke some contestations, but it will facilitate the explanation of the basic notions of formal logic in an elementary way.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ziembiński, Z. (1976). Propositions. In: Practical Logic. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-5604-4_5
Download citation
DOI: https://doi.org/10.1007/978-94-017-5604-4_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-017-5589-4
Online ISBN: 978-94-017-5604-4
eBook Packages: Springer Book Archive