"Version: 20180601"--Title page verso."A Morgan & Claypool publication as part of IOP Concise Physics"--Title page verso.1. Propositional algebra -- 1.1. Propositions -- 1.2. Logical operators -- 1.3. Notes on notation -- 1.4. The T and F symbols -- 1.5. Properties of logical operators [not sign], [vel], and [wedge] -- 1.6. The [turnstile] symbol2. Predicate logic -- 2.1. What is predicate logi…
"Version: 20190501"--Title page verso."A Morgan & Claypool publication as part of IOP Concise Physics"--Title page verso.Includes bibliographical references.1. Equality '=' -- 2. Fundamental properties of sets -- 2.1. What is a set? -- 2.2. Defining a set -- 2.3. Equality of sets -- 2.4. A set can be an element of another set -- 2.5. A set cannot contain itself -- 2.6. A set can be empty (null)…