Create 00_logica.tex

Introduzione ai concetti di logica per illustrare come funzionano le dimostrazioni dei teoremi.