Logic for physicists /
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 top...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
San Rafael [California] (40 Oak Drive, San Rafael, CA, 94903, USA) :
Morgan & Claypool Publishers,
[2018]
|
Colección: | IOP (Series). Release 4.
IOP concise physics. |
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 3. Deductive reasoning
- 3.1. What is deductive reasoning?
- 3.2. An example.
- 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]