Vocabulari (lògica)