Logika Dasar Tradisional, simbolik, dan indukatif