I have another question on Tarski's definition of truth.
In his book "Theories of Truth. A Critical Introduction", Kirkham (p. 145) gives the following example of the definition of truth for a language which consists of only five sentences (here, I only mention two of them for simplicity):
"The table is round.
The carpet is purple.
.../...
One theory (...) is the conjunction of all the T-sentences. (...) By a "logical conjunction", Tarski means something equivalent to the conjunction of the T-sentences. The following is just such a logical conjunction:
(s)[s is true :=: either (s = 'The table is round' and the table is round) or (s = 'The carpet is purple' and the carpet is purple)]."
I don't get this. To me the above definition is rather a disjunction (not a conjunction). What do I misunderstand?