Text this: Logika dasar tradisional, simbolik dan induktif