This work introduces the subject of formal logic by way of a system that is like syllogistic logic. Its system, like old-fashioned, traditional syllogistic, is a term logic. The authors' version of logic (term-function logic, TFL) shares with Aristotle's syllogistic the insight that the logical forms of statements that are involved in inferences as premises or conclusions can be construed as the result of connecting pairs of terms by means of a logical copula (functor). This insight contrasts markedly with that which informs today's standard formal logic (modern predicate logic, MPL).