Bridge to Abstract Mathematics: Mathematical Proof and Structures

102 LOGIC, PART It: THE PREDICATE CALCULUS Chapter 3

Figure 3.1 Graphs pertaining to Example I.