Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Pereyra, Nicolas A. (Autor)
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]