Abstract
Following the convention of the previous chapter, we use capital letters to denote variables. We need infinitely many variables, but by analogy with the keyboard of our computer we want to maintain our symbol apparatus, called the alphabet, finite. Therefore we represent officially the variables as
.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Recall that a binary relation ≡ on a set A is called an equivalence relation iff for all a,b,c ∈ A:
-
a ≡ a;
-
a ≡ b implies b ≡ a;
-
a ≡ b and b ≡ c implies a ≡ c.
-
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Italia
About this chapter
Cite this chapter
Mundici, D. (2012). Fundamental Logical Notions. In: Logic: A Brief Course. UNITEXT(). Springer, Milano. https://doi.org/10.1007/978-88-470-2361-1_2
Download citation
DOI: https://doi.org/10.1007/978-88-470-2361-1_2
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2360-4
Online ISBN: 978-88-470-2361-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)