Logica e metodi di dimostrazione

Parte 1 · Logica · 2 capitoli

Proposizioni e quantificatori, implicazioni, tecniche di dimostrazione, principio di induzione.

Da scaricare

• Dispensa, volume 1 (PDF)
• Esercizi, volume 1 (PDF)
• Slide dei capitoli: 1 · 2

• 1. Basi di logica e tecniche di dimostrazione

  ---

  Simboli logici · Implicazioni universali e dimostrazioni · Legge della contronominale · Condizioni sufficienti e condizioni necessarie · …

  Leggi il capitolo

• 2. Principio di induzione

  ---

  Il principio di induzione · Dimostrazioni basate sul principio di induzione

  Leggi il capitolo