Logic for physicists
Mathematical physics Mathematics e-böcker
IOP Publishing
2018
EISBN 9781643270142
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] symbol
2. Predicate logic.
2.1. What is predicate logic?.
2.2. The [for all] symbol (FOR ALL).
2.3. The [exists] symbol (EXISTS).
2.4. Properties of the logical symbols [for all] and [exists]
3. Deductive reasoning.
3.1. What is deductive reasoning?.
3.2. An example.
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).
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] symbol
2. Predicate logic.
2.1. What is predicate logic?.
2.2. The [for all] symbol (FOR ALL).
2.3. The [exists] symbol (EXISTS).
2.4. Properties of the logical symbols [for all] and [exists]
3. Deductive reasoning.
3.1. What is deductive reasoning?.
3.2. An example.
This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).
