Logika Dasar tradisional, simbolik, dan induktif