ABSTRACT
Given that logic is a discipline concerned with consequence, we will focus our attention on claims of the form
X f-A where X is a body of premises, each one expressed in some language, and A is a conclusion also expressed in that language. The claim 'X f-A' states that A is a consequence of X, or that given X, A follows as a matter of logic. We will call claims like this consecutions1; they will feature heavily in the rest of this book.
